Items where Author is "Kauer, Anne Kersten"

Group by: Item Type | Date | No Grouping

Jump to: IMT PhD Thesis

Number of items: 1.

IMT PhD Thesis

Kauer, Anne Kersten (2013) Formal specification, verification and analysis of long-running transactions. Advisor: Bruni, Dr. Roberto. Coadvisor: Ferreira, Dr. Carla . pp. 215. [IMT PhD Thesis]

This list was generated on Sat Apr 20 00:01:11 2024 CEST.

E-Theses is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.