%0 Conference Paper %1 conf/cacsd/FuriaMST08 %A Furia, Carlo A. %A Mazzucchelli, Marco %A Spoletini, Paola %A Tanelli, Mara %B CACSD %D 2008 %I IEEE %K dblp %P 1265-1270 %T Towards the exhaustive verification of real-time aspects in controller implementation. %U http://dblp.uni-trier.de/db/conf/cacsd/cacsd2008.html#FuriaMST08 %@ 978-1-4244-2221-0

@inproceedings{conf/cacsd/FuriaMST08, added-at = {2023-03-21T00:00:00.000+0100}, author = {Furia, Carlo A. and Mazzucchelli, Marco and Spoletini, Paola and Tanelli, Mara}, biburl = {https://www.bibsonomy.org/bibtex/21f47f67e75090d133d8c3eca05ac98d6/dblp}, booktitle = {CACSD}, crossref = {conf/cacsd/2008}, ee = {https://doi.org/10.1109/CACSD.2008.4627349}, interhash = {57ed7c63110c66e5a4f2944d0c9dd7b9}, intrahash = {1f47f67e75090d133d8c3eca05ac98d6}, isbn = {978-1-4244-2221-0}, keywords = {dblp}, pages = {1265-1270}, publisher = {IEEE}, timestamp = {2024-04-10T12:43:25.000+0200}, title = {Towards the exhaustive verification of real-time aspects in controller implementation.}, url = {http://dblp.uni-trier.de/db/conf/cacsd/cacsd2008.html#FuriaMST08}, year = 2008 }