Automated Formal Verification of Visual Modeling Languages by Model Checking

Contributor - Author	Varró, Dániel
Date - Accessioned	2016-09-04T21:29:28Z
Date - Available	2016-09-04T21:29:28Z
Date - Issued	2004
Identifier - URI	http://hdl.handle.net/10890/2507
Language - ISO	en
Title	Automated Formal Verification of Visual Modeling Languages by Model Checking
Type	folyóiratcikk
Container Identifier ISSN	1619-1366
Container Identifier ISSN	1619-1374
Container Periodical Number	2
Container Periodical Volume	3
Container Title	SOFTWARE AND SYSTEMS MODELING
Identifier - MTMT	2612540
Type Type	szakcikk

Files

Now showing 1 - 1 of 1