Publications

Filters: Author is Corina S. Pasareanu  [Clear All Filters]
2013
F. S. de Boer, M. Bravetti, I. Grabe, M. D. Lee, M. Steffen, and G. Zavattaro, “A Petri Net Based Analysis of Deadlocks for Active Objects and Futures”, in Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers, vol. 7684, C. S. Păsăreanu and G. Salaün, Eds. 2013, p. 110-127.