CheckVML: A tool for model checking visual modeling languages

View/ Open
Metadata
Show full item record
Link to refer to this document:
Collections
- BME PA dokumentumai [3588]
- 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