Publication
Title
Meta-modelling, graph transformation and model checking for the analysis of hybrid systems
Author
Abstract
Language
English
Source (journal)
Lecture notes in computer science. - Berlin, 1973, currens
Publication
Berlin : 2004
ISSN
0302-9743 [print]
1611-3349 [online]
Volume/pages
3062(2004), p. 292-298
ISI
000222212300021
Full text (Publisher's DOI)
UAntwerpen
Faculty/Department
Publication type
Subject
External links
Web of Science
Record
Identification
Creation 03.06.2013
Last edited 06.05.2018