%0 Conference Paper %1 conf/fm/LeonYSCG93 %A León, Gonzalo %A Yelmo, Juan C. %A Sánchez, Carlos %A Carrasco, F. Javier %A Gil, Juan J. %B FME %D 1993 %E Woodcock, Jim %E Larsen, Peter Gorm %I Springer %K dblp %P 83-92 %T An Industrial Experience on LOTOS-Based Prototyping for Switching Systems Design. %U http://dblp.uni-trier.de/db/conf/fm/fme1993.html#LeonYSCG93 %V 670 %@ 3-540-56662-7

@inproceedings{conf/fm/LeonYSCG93, added-at = {2017-05-20T00:00:00.000+0200}, author = {León, Gonzalo and Yelmo, Juan C. and Sánchez, Carlos and Carrasco, F. Javier and Gil, Juan J.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f1b8140d8c2e3c4fa93627e99cf17885/dblp}, booktitle = {FME}, crossref = {conf/fm/1993}, editor = {Woodcock, Jim and Larsen, Peter Gorm}, ee = {https://doi.org/10.1007/BFb0024640}, interhash = {9a0a026cf58100863a29ba2748455625}, intrahash = {f1b8140d8c2e3c4fa93627e99cf17885}, isbn = {3-540-56662-7}, keywords = {dblp}, pages = {83-92}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T13:51:56.000+0200}, title = {An Industrial Experience on LOTOS-Based Prototyping for Switching Systems Design.}, url = {http://dblp.uni-trier.de/db/conf/fm/fme1993.html#LeonYSCG93}, volume = 670, year = 1993 }