Georges Morbé, Christoph Scholl. Fully Symbolic Model Checking for Incomplete Systems of Timed Automata. In Jens Brandt, Klaus Schneider, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March 5-7, 2012. pages 97-108, Verlag Dr. Kovac, 2012.
@inproceedings{MorbeS12-0,
title = {Fully Symbolic Model Checking for Incomplete Systems of Timed Automata},
author = {Georges Morbé and Christoph Scholl},
year = {2012},
researchr = {https://researchr.org/publication/MorbeS12-0},
cites = {0},
citedby = {0},
pages = {97-108},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March 5-7, 2012},
editor = {Jens Brandt and Klaus Schneider},
publisher = {Verlag Dr. Kovac},
}