%0 Conference Paper %1 conf/fmics/FerrucciMMR12 %A Ferrucci, Luca %A Mandrioli, Dino %A Morzenti, Angelo %A Rossi, Matteo %B FMICS %D 2012 %E Stoelinga, Mariëlle %E Pinger, Ralf %I Springer %K dblp %P 162-176 %T Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis. %U http://dblp.uni-trier.de/db/conf/fmics/fmics2012.html#FerrucciMMR12 %V 7437 %@ 978-3-642-32468-0

@inproceedings{conf/fmics/FerrucciMMR12, added-at = {2017-05-21T00:00:00.000+0200}, author = {Ferrucci, Luca and Mandrioli, Dino and Morzenti, Angelo and Rossi, Matteo}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20210595a06c0b39d5335cd6a94fa9cf9/dblp}, booktitle = {FMICS}, crossref = {conf/fmics/2012}, editor = {Stoelinga, Mariëlle and Pinger, Ralf}, ee = {https://doi.org/10.1007/978-3-642-32469-7_11}, interhash = {5e6b8db11f95e0fd6ce5288e7f2ccae9}, intrahash = {0210595a06c0b39d5335cd6a94fa9cf9}, isbn = {978-3-642-32468-0}, keywords = {dblp}, pages = {162-176}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T15:39:38.000+0200}, title = {Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis.}, url = {http://dblp.uni-trier.de/db/conf/fmics/fmics2012.html#FerrucciMMR12}, volume = 7437, year = 2012 }