%0 Conference Paper %1 conf/edcc/NelliBS96 %A Nelli, Manuela %A Bondavalli, Andrea %A Simoncini, Luca %B EDCC %D 1996 %E Hlawiczka, Andrzej %E Silva, João Gabriel %E Simoncini, Luca %I Springer %K dblp %P 93-110 %T Dependability Modeling and Analysis of Complex Control Systems: An Application to Railway Interlocking. %U http://dblp.uni-trier.de/db/conf/edcc/edcc1996.html#NelliBS96 %V 1150 %@ 3-540-61772-8

@inproceedings{conf/edcc/NelliBS96, added-at = {2023-09-30T00:00:00.000+0200}, author = {Nelli, Manuela and Bondavalli, Andrea and Simoncini, Luca}, biburl = {https://www.bibsonomy.org/bibtex/2ec116cb16d6477f34448d9ddc2d3e283/dblp}, booktitle = {EDCC}, crossref = {conf/edcc/1996}, editor = {Hlawiczka, Andrzej and Silva, João Gabriel and Simoncini, Luca}, ee = {https://doi.org/10.1007/3-540-61772-8_32}, interhash = {68e0ee7469f939cd6cc76960e66d51ff}, intrahash = {ec116cb16d6477f34448d9ddc2d3e283}, isbn = {3-540-61772-8}, keywords = {dblp}, pages = {93-110}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T05:34:08.000+0200}, title = {Dependability Modeling and Analysis of Complex Control Systems: An Application to Railway Interlocking.}, url = {http://dblp.uni-trier.de/db/conf/edcc/edcc1996.html#NelliBS96}, volume = 1150, year = 1996 }