CheckVML: A tool for model checking visual modeling languages
Date
Authors
Type
folyóiratcikk
ISSN, e-ISSN
0302-9743
1611-3349
1611-3349
Periodical Volume
2863
Container Title
LECTURE NOTES IN COMPUTER SCIENCE
Gender
szakcikk
Műegyetemi Digitális Archívum