Year | DOI | Venue |
---|---|---|
2010 | 10.3166/tsi.29.309-344 | Technique et Science Informatiques |
Field | DocType | Volume |
Model checking,Computer science,Automaton,Static analysis,Algorithm,Theoretical computer science,Presburger arithmetic,Decidability,Temporal logic,Time complexity,Distributed computing,Formal verification | Journal | 29 |
Issue | Citations | PageRank |
3 | 0 | 0.34 |
References | Authors | |
0 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Régis Gascon | 1 | 76 | 5.23 |