Year | DOI | Venue |
---|---|---|
2012 | 10.1007/978-3-642-32759-9_28 | FM |
Field | DocType | Citations |
Model checking,Computer science,Automaton,Real-time computing,Theoretical computer science,Linear temporal logic,Finite-state machine,Stateful firewall,State space,Scalability,Encoding (memory) | Conference | 8 |
PageRank | References | Authors |
0.50 | 20 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Truong Khanh Nguyen | 1 | 21 | 3.47 |
Jun Sun | 2 | 1407 | 120.35 |
Yang Liu | 3 | 491 | 116.11 |
Jin Song Dong | 4 | 177 | 15.93 |
Yan Liu | 5 | 2551 | 189.16 |