@inproceedings{e0cfd82fe5284e41a2db274e0a14836b,
title = "Incremental Language Inclusion Checking for Networks of vTimed Automata",
author = "Willibald Krenn and Dejan Nickovic and Loredana Tec",
year = "2013",
language = "English",
isbn = "978-3-642-40228-9",
pages = "152--167",
booktitle = "Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013",
publisher = "Springer",
address = "Germany",
note = "FORMATS 2013 ; Conference date: 29-08-2013 Through 31-08-2013",
}