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

Massink, Mieke
0000-0001-5089-002X

Formal Methods and Tools (2002-ongoing)

Bibliographic record
Deposited version

Deposited version