Title
Explicit state model checking with generalized Büchi and Rabin automata.
Year
Venue
DocType
2017
International Symposium on Software Testing and Analysis
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
3
Name
Order
Citations
PageRank
Vincent Bloemen100.68
Alexandre Duret-Lutz200.68
Jaco van de Pol3135.00