Publication

@inproceedings{abc,
	author = {Gustavo Alonso},
	booktitle = {Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi{\textquoteright}an, China},
	title = {Challenges and Opportunities for Formal Specifications in Service Oriented Architectures.},
	url = {http://dx.doi.org/10.1007/978-3-540-68746-7_1},
	year = {2008}
}