VeriSiMPL : Verification via biSimulations of MPL models

Conference Paper (2013)

Author(s)

D Adzkiya (TU Delft - Team Bart De Schutter)

A Abate (TU Delft - Team Bart De Schutter)

CWTS JFIS < 0.75

DOI related publication

https://doi.org/10.1007/978-3-642-40196-1_22 Final published version

To reference this document use

More Info

expand_more

Publication Year

2013

Language

English

Bibliographical Note

harvest

Pages (from-to)

274-277

Publisher

Springer

ISBN (print)

978-3-642-40196-1

Event

Downloads counter

118