Műegyetemi Digitális Archívum
    • magyar
    • English
  • English 
    • magyar
    • English
  • Login
View Item 
  •   DSpace Home
  • 1. Tudományos közlemények, publikációk
  • BME PA dokumentumai
  • View Item
  •   DSpace Home
  • 1. Tudományos közlemények, publikációk
  • BME PA dokumentumai
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

CheckVML: A tool for model checking visual modeling languages

Thumbnail
View/Open
13171.pdf (146.3Kb)
Metadata
Show full item record
Link to refer to this document:
http://hdl.handle.net/10890/2489
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

Content by
Theme by 
Atmire NV
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback

Content by
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV
 

 

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Content by
Theme by 
Atmire NV
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback

Content by
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV