Title
Consistency Checks of System Properties Using LTL and Büchi Automata.
Year
Venue
Field
2012
SEKE
Data mining,Programming language,Computer science,Büchi automaton
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
3
Name
Order
Citations
PageRank
Salamah Salamah14110.98
Matthew Engskow220.75
Omar Ochoa3105.19