@inproceedings{oai:it.cnr:prodotti:91585,
	title = {Process algebraic operators for ASMs},
	author = {Bolognesi T. and Boerger E.},
	booktitle = {Theory and Application of Abstract State Machines - International Conference and Research Center for Computer Science, Dagstuhl, Germany, 3-8 March 2002},
	year = {2002}
}

Bolognesi, Tommaso
0000-0003-0854-2587

Formal Methods and Tools (2002-ongoing)

Bibliographic record