Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Formalizing UML Models and OCL Constraints in PVS | 46 | 2.76 | 2005 |
| Deductive Verification of UML Models in TLPVS | 13 | 0.79 | 2004 |
| Completeness of Timed mCRL | 7 | 0.56 | 2002 |
| The Tree Identify Protocol of IEEE 1394 in µCRL | 10 | 0.89 | 1998 |