Irek Ulidowski. Finite Axiom Systems for Testing Preorder and De Simone Process Languages. In Martin Wirsing, Maurice Nivat, editors, Algebraic Methodology and Software Technology, 5th International Conference, AMAST 96, Munich, Germany, July 1-5, 1996, Proceedings. Volume 1101 of Lecture Notes in Computer Science, pages 210-224, Springer, 1996.
@inproceedings{Ulidowski96,
title = {Finite Axiom Systems for Testing Preorder and De Simone Process Languages},
author = {Irek Ulidowski},
year = {1996},
tags = {testing},
researchr = {https://researchr.org/publication/Ulidowski96},
cites = {0},
citedby = {0},
pages = {210-224},
booktitle = {Algebraic Methodology and Software Technology, 5th International Conference, AMAST 96, Munich, Germany, July 1-5, 1996, Proceedings},
editor = {Martin Wirsing and Maurice Nivat},
volume = {1101},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-61463-X},
}