Year | Venue | Keywords |
---|---|---|
1996 | FORTE | verification,formal verification,communication protocol,satisfiability,network protocols |
Field | DocType | ISBN |
Functional verification,Programming language,Computer science,Intelligent verification,Automaton,Runtime verification,Theoretical computer science,Timed automaton,Formal methods,Formal verification,Communications protocol,Distributed computing | Conference | 0-412-79490-X |
Citations | PageRank | References |
18 | 1.58 | 7 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
James F. Leathrum | 1 | 40 | 6.72 |