Model Checking for Input/Output Properties of a Black-Box Model.
| Title | Model Checking for Input/Output Properties of a Black-Box Model. |
| Publication Type | Journal Article |
| Year of Publication | 2007 |
| Authors | Dosch, W, Muenchaisri, P, Ruanthong, W, Stümpel, A |
Bibtex:
@article {542,
title = {Model Checking for Input/Output Properties of a Black-Box Model.},
year = {2007},
note = {In: S. Sahni (ed.): Proceedings of the Third International Conference on Advances in Computer Science and Technology (ACST 2007). Phuket, Thailand, April 2-4, 2007. Anaheim, CA: Acta Press 2007, 120-127 [ISBN 978-0-88986-656-0]},
author = {W. Dosch and Muenchaisri, P. and W. Ruanthong and A. St{\"u}mpel}
}