Explicit State Model Checking with Generalized Büchi and Rabin Automata

Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

1 Citation (Scopus)

21 Downloads (Pure)

1 Citations
1 PhD Thesis - Research UT, graduation UT

1 results

2019
Strong Connectivity and Shortest Paths for Checking Models
Bloemen, V., 10 Jul 2019, Enschede: University of Twente. 264 p.
Research output: Thesis › PhD Thesis - Research UT, graduation UT

Open Access
File
536 Downloads (Pure)