%0 Conference Paper %1 conf/forte/Saqui-SannesC89 %A de Saqui-Sannes, Pierre %A Courtiat, Jean-Pierre %B FORTE %D 1989 %E Vuong, Son T. %I North-Holland %K dblp %P 393-407 %T From the Simulation to the Verification of Estelle Specifications. %U http://dblp.uni-trier.de/db/conf/forte/forte1989.html#Saqui-SannesC89 %@ 0-444-88544-7

@inproceedings{conf/forte/Saqui-SannesC89, added-at = {2002-01-03T00:00:00.000+0100}, author = {de Saqui-Sannes, Pierre and Courtiat, Jean-Pierre}, biburl = {https://www.bibsonomy.org/bibtex/26ce0f07c23f57ea4b815e9509d37ac78/dblp}, booktitle = {FORTE}, crossref = {conf/forte/1989}, date = {2002-01-03}, description = {dblp}, editor = {Vuong, Son T.}, interhash = {b59530356f1f90b89325198cc5a7f9d2}, intrahash = {6ce0f07c23f57ea4b815e9509d37ac78}, isbn = {0-444-88544-7}, keywords = {dblp}, pages = {393-407}, publisher = {North-Holland}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {From the Simulation to the Verification of Estelle Specifications.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte1989.html#Saqui-SannesC89}, year = 1989 }