Year | DOI | Venue |
---|---|---|
2013 | 10.1007/978-3-642-45221-5_12 | LPAR |
Field | DocType | Citations |
Computer science,Automaton,Algorithm,Linear temporal logic,Theoretical computer science,Probabilistic model checking,Control synthesis,Büchi automaton | Conference | 9 |
PageRank | References | Authors |
0.51 | 25 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Frantisek Blahoudek | 1 | 48 | 4.02 |
Mojmír Kretínský | 2 | 88 | 7.11 |
Jan Strejcek | 3 | 99 | 13.83 |