%0 Conference Paper %1 conf/ictac/KretinskyS13 %A Kretínský, Jan %A Sickert, Salomon %B ICTAC %D 2013 %E Liu, Zhiming %E Woodcock, Jim %E Zhu, Huibiao %I Springer %K dblp %P 213-230 %T On Refinements of Boolean and Parametric Modal Transition Systems. %U http://dblp.uni-trier.de/db/conf/ictac/ictac2013.html#KretinskyS13 %V 8049 %@ 978-3-642-39717-2

@inproceedings{conf/ictac/KretinskyS13, added-at = {2018-11-02T00:00:00.000+0100}, author = {Kretínský, Jan and Sickert, Salomon}, biburl = {https://www.bibsonomy.org/bibtex/2260a946bda5c6f8b098d33e035a5f7ff/dblp}, booktitle = {ICTAC}, crossref = {conf/ictac/2013}, editor = {Liu, Zhiming and Woodcock, Jim and Zhu, Huibiao}, ee = {https://doi.org/10.1007/978-3-642-39718-9_13}, interhash = {6967b58cd7fd05c4581548ae49ad23b0}, intrahash = {260a946bda5c6f8b098d33e035a5f7ff}, isbn = {978-3-642-39717-2}, keywords = {dblp}, pages = {213-230}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T12:34:02.000+0200}, title = {On Refinements of Boolean and Parametric Modal Transition Systems.}, url = {http://dblp.uni-trier.de/db/conf/ictac/ictac2013.html#KretinskyS13}, volume = 8049, year = 2013 }