Title | ||
---|---|---|
Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings |
Year | Venue | Field |
---|---|---|
2010 | ATVA | Petri net,Model checking,Programming language,Computer science,Decidability,Theoretical computer science,Probabilistic logic,Formal methods,Probabilistic automaton,Büchi automaton,Liveness |
DocType | Volume | ISBN |
Conference | 6252 | isbn |
Citations | PageRank | References |
27 | 1.65 | 0 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
atva | 1 | 68 | 3.54 |
Ahmed Bouajjani | 2 | 2663 | 184.84 |
weingan chin | 3 | 77 | 7.94 |