Mathematical Model Transformations for System Verification
| Title | Mathematical Model Transformations for System Verification |
| Publication Type | Miscellaneous |
| Year of Publication | 2001 |
| Authors | Varró, D., and Pataricza, A. |
| Date Published | May |
| Publisher | Budapest University of Technology and Economics |
| Publication Language | eng |
| URL | http://www.inf.mit.bme.hu/FTSRG/Publications/varro/2001/TR-05-2001.pdf |
