%0 Conference Paper %1 conf/fm/IglesiasGCNF01 %A Iglesias, Manuel J. Fernández %A González-Castaño, Francisco J. %A Carballo, José M. Pousada %A Nistal, Martín Llamas %A Feijoo, Alberto Romero %B FME %D 2001 %E Oliveira, José Nuno %E Zave, Pamela %I Springer %K dblp %P 436-448 %T From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study. %U http://dblp.uni-trier.de/db/conf/fm/fme2001.html#IglesiasGCNF01 %V 2021 %@ 3-540-41791-5

@inproceedings{conf/fm/IglesiasGCNF01, added-at = {2017-06-02T00:00:00.000+0200}, author = {Iglesias, Manuel J. Fernández and González-Castaño, Francisco J. and Carballo, José M. Pousada and Nistal, Martín Llamas and Feijoo, Alberto Romero}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2cc3c2de1670b326926cc0177f4ffe1ec/dblp}, booktitle = {FME}, crossref = {conf/fm/2001}, editor = {Oliveira, José Nuno and Zave, Pamela}, ee = {https://doi.org/10.1007/3-540-45251-6_25}, interhash = {ef98d6f3ec0b2cba8dbb9d5f8caebade}, intrahash = {cc3c2de1670b326926cc0177f4ffe1ec}, isbn = {3-540-41791-5}, keywords = {dblp}, pages = {436-448}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T13:52:00.000+0200}, title = {From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study.}, url = {http://dblp.uni-trier.de/db/conf/fm/fme2001.html#IglesiasGCNF01}, volume = 2021, year = 2001 }