Year | DOI | Venue |
---|---|---|
2009 | 10.3233/978-1-60750-065-0-29 | CPA |
Keywords | Field | DocType |
partial order reduction | Abstraction model checking,Model checking,Computer science,Algorithm,Theoretical computer science,Temporal logic,Partial order reduction,Reactive system,State space,Bounded function,Symbolic trajectory evaluation | Conference |
Citations | PageRank | References |
2 | 0.38 | 3 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
José Vander Meulen | 1 | 6 | 1.57 |
Charles Pecheur | 2 | 284 | 28.50 |