%0 Conference Paper %1 conf/forte/UlrichK97 %A Ulrich, Andreas %A König, Hartmut %B FORTE %D 1997 %E Togashi, Atsushi %E Mizuno, Tadanori %E Shiratori, Norio %E Higashino, Teruo %I Chapman & Hall %K dblp %P 7-22 %T Specification-based Testing of Concurrent Systems. %U http://dblp.uni-trier.de/db/conf/forte/forte1997.html#UlrichK97 %V 107 %@ 0-412-82060-9

@inproceedings{conf/forte/UlrichK97, added-at = {2003-02-12T00:00:00.000+0100}, author = {Ulrich, Andreas and König, Hartmut}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2440cbcd49cf643cec5031326cb6174ad/dblp}, booktitle = {FORTE}, crossref = {conf/forte/1997}, editor = {Togashi, Atsushi and Mizuno, Tadanori and Shiratori, Norio and Higashino, Teruo}, interhash = {073a892419353dee2fa11dd557b3f3b7}, intrahash = {440cbcd49cf643cec5031326cb6174ad}, isbn = {0-412-82060-9}, keywords = {dblp}, pages = {7-22}, publisher = {Chapman & Hall}, series = {IFIP Conference Proceedings}, timestamp = {2016-02-02T11:02:44.000+0100}, title = {Specification-based Testing of Concurrent Systems.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte1997.html#UlrichK97}, volume = 107, year = 1997 }