Alexandre Petrenko, Andreas Ulrich, V. Chapenko
Using Partial-Orders for Detecting Faults in Concurrent Systems
ICTSS, 1998.
@inproceedings{IWTCS-1998-PetrenkoUC,
author = "Alexandre Petrenko and Andreas Ulrich and V. Chapenko",
booktitle = "{Proceedings of the 11th International Workshop on Testing Communicating Systems}",
isbn = "0-412-84430-3",
pages = "175--190",
publisher = "{Kluwer}",
series = "{IFIP Conference Proceedings}",
title = "{Using Partial-Orders for Detecting Faults in Concurrent Systems}",
volume = 131,
year = 1998,
}