Year | DOI | Venue |
---|---|---|
1998 | 10.1007/BF02946488 | J. Comput. Sci. Technol. |
Keywords | Field | DocType |
Model Check, Modal Logic, Temporal Logic, Stochastic Game, Concurrent System | Computer science,Theoretical computer science,Modal logic,Temporal logic,Stochastic game,Distributed computing | Journal |
Volume | Issue | ISSN |
13 | 6 | 1860-4749 |
Citations | PageRank | References |
0 | 0.34 | 1 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Colin Stirling | 1 | 934 | 102.50 |