@techreport{oai:it.cnr:prodotti:160589,
	title = {Introduction to UPPAAL slides},
	author = {Massink M.},
	institution = {ISTI Technical reports, 2002},
	year = {2002}
}

Massink, Mieke
0000-0001-5089-002X

Formal Methods and Tools (2002-ongoing)

Bibliographic record

Deposited version