Items where Author is "Koenig, Barbara"
Group by: Item Type | No Grouping Jump to: Book Number of items: 1. BookBonchi, Filippo and Gadducci, Fabio and Koenig, Barbara (2006) Process Bisimulation via a Graphical Encoding. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. |