Florian Pigorsch, Christoph Scholl. Using Implications for Optimizing State Set Representations of Linear Hybrid Systems. In Carsten Gremzow, Nico Moser, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin, Germany, March 2-4, 2009. pages 77-86, Universitätsbibliothek Berlin, Germany, 2009.
@inproceedings{PigorschS09-0,
title = {Using Implications for Optimizing State Set Representations of Linear Hybrid Systems},
author = {Florian Pigorsch and Christoph Scholl},
year = {2009},
researchr = {https://researchr.org/publication/PigorschS09-0},
cites = {0},
citedby = {0},
pages = {77-86},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin, Germany, March 2-4, 2009},
editor = {Carsten Gremzow and Nico Moser},
publisher = {Universitätsbibliothek Berlin, Germany},
}