Publication
Title
A framework for temporal verification support in domain-specific modelling
Author
Abstract
Language
English
Source (journal)
IEEE transactions on software engineering. - New York, N.Y.
Publication
New York, N.Y. : 2018
ISSN
0098-5589
Volume/pages
93:12(2018), p. 1045-1061
Full text (Publisher's DOI)
Full text (open access)
UAntwerpen
Faculty/Department
Research group
Publication type
Subject
Affiliation
Publications with a UAntwerp address
External links
Record
Identification
Creation 08.10.2018
Last edited 20.10.2018
To cite this reference