Mathematical Model Transformations for System Verification
| Cím | Mathematical Model Transformations for System Verification |
| Közlemény típusa | Miscellaneous |
| Kiadás éve | 2001 |
| Szerzők | Varró, D., and Pataricza, A. |
| Kiadás dátuma | May |
| Kiadó | Budapest University of Technology and Economics |
| Kiadás nyelve | eng |
| URL | http://www.inf.mit.bme.hu/FTSRG/Publications/varro/2001/TR-05-2001.pdf |
