%0 Conference Paper %1 conf/ftscs/NardoneGBPVMM15 %A Nardone, Roberto %A Gentile, Ugo %A Benerecetti, Massimo %A Peron, Adriano %A Vittorini, Valeria %A Marrone, Stefano %A Mazzocca, Nicola %B FTSCS %D 2015 %E Artho, Cyrille %E Ölveczky, Peter Csaba %I Springer %K %P 121-136 %T Modeling Railway Control Systems in Promela. %U http://dblp.uni-trier.de/db/conf/ftscs/ftscs2015.html#NardoneGBPVMM15 %V 596 %@ 978-3-319-29509-1

@inproceedings{conf/ftscs/NardoneGBPVMM15, added-at = {2023-12-12T21:11:20.000+0100}, author = {Nardone, Roberto and Gentile, Ugo and Benerecetti, Massimo and Peron, Adriano and Vittorini, Valeria and Marrone, Stefano and Mazzocca, Nicola}, biburl = {https://www.bibsonomy.org/bibtex/280d978883607c473fe4b34992745b397/admin}, booktitle = {FTSCS}, crossref = {conf/ftscs/2015}, editor = {Artho, Cyrille and Ölveczky, Peter Csaba}, ee = {https://doi.org/10.1007/978-3-319-29510-7_7}, interhash = {3a6ca950e1231c2e749ec2f5eec2cfc4}, intrahash = {80d978883607c473fe4b34992745b397}, isbn = {978-3-319-29509-1}, keywords = {}, pages = {121-136}, publisher = {Springer}, series = {Communications in Computer and Information Science}, timestamp = {2023-12-12T21:11:20.000+0100}, title = {Modeling Railway Control Systems in Promela.}, url = {http://dblp.uni-trier.de/db/conf/ftscs/ftscs2015.html#NardoneGBPVMM15}, volume = 596, year = 2015 }