You are here

Home › Research › Publications ›

Model Checking for Input/Output Properties of a Black-Box Model.

TitleModel Checking for Input/Output Properties of a Black-Box Model.
Publication TypeJournal Article
Year of Publication2007
AuthorsDosch, 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}
}