%0 Conference Paper %1 conf/isola/MazzantiFS16 %A Mazzanti, Franco %A Ferrari, Alessio %A Spagnolo, Giorgio Oronzo %B ISoLA (2) %D 2016 %E Margaria, Tiziana %E Steffen, Bernhard %K dblp %P 297-314 %T Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System. %U http://dblp.uni-trier.de/db/conf/isola/isola2016-2.html#MazzantiFS16 %V 9953 %@ 978-3-319-47168-6

@inproceedings{conf/isola/MazzantiFS16, added-at = {2018-11-02T00:00:00.000+0100}, author = {Mazzanti, Franco and Ferrari, Alessio and Spagnolo, Giorgio Oronzo}, biburl = {https://www.bibsonomy.org/bibtex/257bf85e72f38a59c97b4518af1c962e7/dblp}, booktitle = {ISoLA (2)}, crossref = {conf/isola/2016-2}, editor = {Margaria, Tiziana and Steffen, Bernhard}, ee = {https://doi.org/10.1007/978-3-319-47169-3_22}, interhash = {42c163bcff9629daea26bd4581a18a2f}, intrahash = {57bf85e72f38a59c97b4518af1c962e7}, isbn = {978-3-319-47168-6}, keywords = {dblp}, pages = {297-314}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:42:58.000+0200}, title = {Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2016-2.html#MazzantiFS16}, volume = 9953, year = 2016 }