%0 Conference Paper %1 journals/entcs/BanciBFS05 %A Banci, Michele %A Becucci, Marcello %A Fantechi, Alessandro %A Spinicci, Emilio %B TACoS %D 2004 %E Pezzè, Mauro %I Elsevier %K dblp %P 99-111 %T Validation Coverage for a Component-based SDL model of a Railway Signaling System. %U http://dblp.uni-trier.de/db/journals/entcs/entcs116.html#BanciBFS05 %V 116

@inproceedings{journals/entcs/BanciBFS05, added-at = {2022-12-09T00:00:00.000+0100}, author = {Banci, Michele and Becucci, Marcello and Fantechi, Alessandro and Spinicci, Emilio}, biburl = {https://www.bibsonomy.org/bibtex/290a2519a4c47d47fe6c8348d5ee0f8ec/dblp}, booktitle = {TACoS}, crossref = {conf/tacos/2004}, editor = {Pezzè, Mauro}, ee = {https://doi.org/10.1016/j.entcs.2004.02.083}, interhash = {684cc575ab6f0c16003e6fe5ce2a2746}, intrahash = {90a2519a4c47d47fe6c8348d5ee0f8ec}, keywords = {dblp}, pages = {99-111}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T19:12:22.000+0200}, title = {Validation Coverage for a Component-based SDL model of a Railway Signaling System.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs116.html#BanciBFS05}, volume = 116, year = 2004 }