CheckVML: A tool for model checking visual modeling languages

Link to refer to this document:

Title: CheckVML: A tool for model checking visual modeling languages
Author: Schmidt A; Varró, Dániel
Date of issue: 2003
Language: en
Identifiers: MTMT: 2612510; Scopus: 0242276159; Web of Science: 000188007800008
Title of the container document: LECTURE NOTES IN COMPUTER SCIENCE
Volume of container document: 2863
ISSN, e-ISSN: 0302-9743; 1611-3349
Document type: folyóiratcikk
Document genre: szakcikk