Concurrency, Compositionality, and CorrectnessMartin Steffen, Ulrich Hannemann, Dennis Dams E-bok2010734 kr
Formal Methods for Open Object-Based Distributed SystemsMartin Steffen, Gianluigi ZavattaroHäftad, 2005561 kr
Concurrency, Compositionality, and CorrectnessDennis Dams, Ulrich Hannemann, Martin SteffenHäftad, 2010561 kr
Formal Methods for Open Object-Based Distributed SystemsGianluigi Zavattaro, Martin Steffen E-bok2005734 kr