CheckVML: A tool for model checking visual modeling languages

View/Open

13171.pdf (146.3Kb)

Metadata

Show full item record

URI

http://hdl.handle.net/10890/2489

Collections

BME PA dokumentumai [3731]

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