Paper Info
Title
Complexity of Checking Strong Satisfiability of Reactive System Specifications.
Year
DOI
Venue
2012
10.1007/978-3-319-11629-7_6
SPIT
DocType
Citations 
PageRank 
Conference
2
0.39
References 
Authors
13
3
Name
Order
Citations
PageRank
Masaya Shimakawa1417.54
Shigeki Hagihara27812.33
Naoki Yonezaki310720.02