Year | DOI | Venue |
---|---|---|
1994 | 10.1007/BFb0014998 | CONCUR |
Keywords | Field | DocType |
model-based verification methods | Software engineering,Computer science,Theoretical computer science,Model based verification | Conference |
ISBN | Citations | PageRank |
3-540-58329-7 | 0 | 0.34 |
References | Authors | |
1 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jean-Claude Fernandez | 1 | 395 | 29.17 |
Joseph Sifakis | 2 | 6064 | 814.75 |
Robert de Simone | 3 | 1237 | 104.97 |