VeriSiMPL : Verification via biSimulations of MPL models
Conference Paper
(2013)
Research Group
Team Bart De Schutter
DOI related publication
https://doi.org/10.1007/978-3-642-40196-1_22
To reference this document use:
https://resolver.tudelft.nl/uuid:91049842-9936-4813-b7b9-4adeb7f466c8
More Info
expand_more
expand_more
Publication Year
2013
Language
English
Research Group
Team Bart De Schutter
Bibliographical Note
harvest@en
Pages (from-to)
274-277
ISBN (print)
978-3-642-40196-1
No files available
Metadata only record. There are no files for this record.