Paper Info
Title
Local model checking in the modal mu-calculus
Abstract
Without Abstract
Year
DOI
Venue
1991
10.1016/0304-3975(90)90110-4
TAPSOFT, Vol.1
Keywords
DocType
Volume
model checking
Journal
89
Issue
ISSN
ISBN
1
0304-3975
3-540-50939-9
Citations 
PageRank 
References 
183
45.55
14
Authors
2
Search Limit
100183
Name
Order
Citations
PageRank
Colin Stirling1934102.50
David W. Walker21158129.14