Title
Practical Infinite-State Verification with Temporal Reasoning
Year
Venue
Field
2005
VISSAS
Computer science,Artificial intelligence,Reasoning system
DocType
Citations 
PageRank 
Conference
8
0.48
References 
Authors
1
3
Name
Order
Citations
PageRank
Michael Fisher169149.23
Boris Konev256942.08
Alexei Lisitsa327245.94