Exported entries (BibTeX)

@inproceedings { bolognesiB03-1624,
	year = {2003},
	editor = {Array},
	title = {Abstract State Processes},
	booktitle = {Abstract State Machines - Advances in Theory and Applications (ASM 2003)},
	volume = {LNCS 2589},
	address = {Taormina, Italy},
	author = {T. Bolognesi and E. Boerger}
}