P. J. Jackson

	2008
1		Roozbeh Farahbod, Uwe Glässer, P. J. Jackson, Mona Vajihollahi: High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM. ISoLA 2008: 797-814

Coauthor Index

1	Roozbeh Farahbod	[1]
2	Uwe Glässer	[1]
3	Mona Vajihollahi	[1]