2002
Other  Open Access

Introduction to UPPAAL slides

Massink M

Model checking 

An abstract is not available



Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:160589,
	title = {Introduction to UPPAAL slides},
	author = {Massink M},
	year = {2002}
}