@inproceedings{DBLP:conf/pts/BochmannHJJ08,
author = {Gregor von Bochmann and
Stefan Haar and
Claude Jard and
Guy-Vincent Jourdan},
title = {Testing Systems Specified as Partial Order Input/Output
Automata},
booktitle = {TestCom/FATES},
year = {2008},
pages = {169-183},
ee = {http://dx.doi.org/10.1007/978-3-540-68524-1_13},
crossref = {DBLP:conf/pts/2008},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/pts/2008,
editor = {Kenji Suzuki and
Teruo Higashino and
Andreas Ulrich and
Toru Hasegawa},
title = {Testing of Software and Communicating Systems, 20th IFIP
TC 6/WG 6.1 International Conference, TestCom 2008, 8th
International Workshop, FATES 2008, Tokyo, Japan, June 10-13,
2008, Proceedings},
booktitle = {TestCom/FATES},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5047},
year = {2008},
isbn = {978-3-540-68514-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-09 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
