@inproceedings{oai:it.cnr:prodotti:120469,
	title = {Towards Abstract State Processes},
	author = {Bolognesi T.},
	booktitle = {FM\&\&T Day, Pisa, Italy, 2002},
	year = {2002}
}

Bolognesi, Tommaso
0000-0003-0854-2587

Formal Methods and Tools (2002-ongoing)

Bibliographic record