%0 Conference Paper %1 conf/fmics/BanciF05 %A Banci, Michele %A Fantechi, Alessandro %B FMICS %D 2005 %E Margaria, Tiziana %E Massink, Mieke %I ACM %K dblp %P 134-143 %T Instantiating generic charts for railway interlocking systems. %U http://dblp.uni-trier.de/db/conf/fmics/fmics2005.html#BanciF05

@inproceedings{conf/fmics/BanciF05, added-at = {2022-01-25T00:00:00.000+0100}, author = {Banci, Michele and Fantechi, Alessandro}, biburl = {https://www.bibsonomy.org/bibtex/2f3663c9648308e89cab8b36c09938311/dblp}, booktitle = {FMICS}, crossref = {conf/fmics/2005}, editor = {Margaria, Tiziana and Massink, Mieke}, ee = {https://doi.org/10.1145/1081180.1081197}, interhash = {c6b7797efcd880183062a6d0ed4c7341}, intrahash = {f3663c9648308e89cab8b36c09938311}, keywords = {dblp}, pages = {134-143}, publisher = {ACM}, timestamp = {2024-04-09T18:56:14.000+0200}, title = {Instantiating generic charts for railway interlocking systems.}, url = {http://dblp.uni-trier.de/db/conf/fmics/fmics2005.html#BanciF05}, year = 2005 }