Abstraction of Parallel Uniform Processes with Data. Pang, J., van de Pol, J., & Espada, M. In SEFM, pages 14-23, 2004. IEEE.
bibtex   
@inproceedings{PangPE04,
	Author = {J. Pang and J. van de Pol and M. Espada},
	Booktitle = {SEFM},
	Organization = {IEEE},
	Pages = {14-23},
	Title = {{Abstraction of Parallel Uniform Processes with Data}},
	Year = {2004}}

Downloads: 0