%0 Conference Paper %1 conf/csp/Wozna-SzczesniakZ13 %A Wozna-Szczesniak, Bozena %A Zbrzezny, Andrzej %B CS&P %D 2013 %E Szczuka, Marcin S. %E Czaja, Ludwik %E Kacprzak, Magdalena %I CEUR-WS.org %K dblp %P 469-477 %T Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking. %U http://dblp.uni-trier.de/db/conf/csp/csp2013.html#Wozna-SzczesniakZ13 %V 1032

@inproceedings{conf/csp/Wozna-SzczesniakZ13, added-at = {2023-03-10T00:00:00.000+0100}, author = {Wozna-Szczesniak, Bozena and Zbrzezny, Andrzej}, biburl = {https://www.bibsonomy.org/bibtex/2a3eda82d17b2c9e30ed48de99b028bad/dblp}, booktitle = {CS&P}, crossref = {conf/csp/2013}, editor = {Szczuka, Marcin S. and Czaja, Ludwik and Kacprzak, Magdalena}, ee = {https://ceur-ws.org/Vol-1032/paper-41.pdf}, interhash = {674cafb7b584a2f9f5ad013d19c175b9}, intrahash = {a3eda82d17b2c9e30ed48de99b028bad}, keywords = {dblp}, pages = {469-477}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T16:06:42.000+0200}, title = {Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/csp/csp2013.html#Wozna-SzczesniakZ13}, volume = 1032, year = 2013 }