%0 Conference Paper %1 conf/pstv/AzcorraVAV93 %A Azcorra, Arturo %A Vázquez, Enrique %A Alvarez-Campana, Manuel %A Vinyes, Juan %B PSTV %D 1993 %E Danthine, André A. S. %E Leduc, Guy %E Wolper, Pierre %I North-Holland %K dblp %P 175-189 %T Formal Description Techniques at Work: An ISDN Q.931 Implementation Using LOTOS. %U http://dblp.uni-trier.de/db/conf/pstv/pstv1993.html#AzcorraVAV93 %V C-16 %@ 0-444-81648-8

@inproceedings{conf/pstv/AzcorraVAV93, added-at = {2002-01-03T00:00:00.000+0100}, author = {Azcorra, Arturo and Vázquez, Enrique and Alvarez-Campana, Manuel and Vinyes, Juan}, biburl = {https://www.bibsonomy.org/bibtex/23d45ee8e407727f73aaafb4f2a64a121/dblp}, booktitle = {PSTV}, crossref = {conf/pstv/1993}, date = {2002-01-03}, description = {dblp}, editor = {Danthine, André A. S. and Leduc, Guy and Wolper, Pierre}, interhash = {7fbbeee0240f4f683cceb2fbd9da6189}, intrahash = {3d45ee8e407727f73aaafb4f2a64a121}, isbn = {0-444-81648-8}, keywords = {dblp}, pages = {175-189}, publisher = {North-Holland}, series = {IFIP Transactions}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {Formal Description Techniques at Work: An ISDN Q.931 Implementation Using LOTOS.}, url = {http://dblp.uni-trier.de/db/conf/pstv/pstv1993.html#AzcorraVAV93}, volume = {C-16}, year = 1993 }