%0 Conference Paper %1 conf/pstv/Saqui-SannesCC94 %A de Saqui-Sannes, Pierre %A Courtiat, Jean-Pierre %A Casadessus, René %B PSTV %D 1994 %E Vuong, Son T. %E Chanson, Samuel T. %I Chapman & Hall %K dblp %P 152-166 %T Verification by abstraction as a preamble for interoperability test suite generation. %U http://dblp.uni-trier.de/db/conf/pstv/pstv1994.html#Saqui-SannesCC94 %V 1 %@ 0-412-63640-9

@inproceedings{conf/pstv/Saqui-SannesCC94, added-at = {2002-01-03T00:00:00.000+0100}, author = {de Saqui-Sannes, Pierre and Courtiat, Jean-Pierre and Casadessus, René}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a29b93186b159fefc33b4c4279e8798f/dblp}, booktitle = {PSTV}, crossref = {conf/pstv/1994}, editor = {Vuong, Son T. and Chanson, Samuel T.}, interhash = {e6c2222bf8838118bdd30a2e3585676d}, intrahash = {a29b93186b159fefc33b4c4279e8798f}, isbn = {0-412-63640-9}, keywords = {dblp}, pages = {152-166}, publisher = {Chapman & Hall}, series = {IFIP Conference Proceedings}, timestamp = {2016-02-02T11:19:33.000+0100}, title = {Verification by abstraction as a preamble for interoperability test suite generation.}, url = {http://dblp.uni-trier.de/db/conf/pstv/pstv1994.html#Saqui-SannesCC94}, volume = 1, year = 1994 }