CheckVML: A tool for model checking visual modeling languages

Cím és alcím: CheckVML: A tool for model checking visual modeling languages
Szerző: Schmidt A; Varró, Dániel
Megjelenés ideje: 2003
Nyelv: en
Egyéb azonosítók: MTMT: 2612510; Scopus: 0242276159; Web of Science: 000188007800008
A cikket/könyvrészletet tartalmazó dokumentum címe: LECTURE NOTES IN COMPUTER SCIENCE
A forrás folyóirat évfolyama: 2863
ISSN, e-ISSN: 0302-9743; 1611-3349
Dokumentumtípus: folyóiratcikk
Műfaj: szakcikk