It looks like you're offline.

Last edited by ImportBot

July 29, 2014 | History

Edit

Martin Leucker

We need a photo of Martin Leucker

8 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Trending Random

Details Grid — Show only ebooks?

Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings

by Martin Leucker, Camilo Rueda, and Frank D. Valencia First published in 2015 — 2 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers

by Martin Leucker First published in 2008 — 2 editions

Locate

My Reading Lists:

Create a new list
Model-Based Testing of Reactive Systems: Advanced Lectures

by Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, and Alexander Pretschner First published in 2005 — 1 edition

Locate

My Reading Lists:

Create a new list
Formal Methods: 25th International Symposium, FM 2023, lübeck, Germany, March 6-10, 2023, Proceedings

by Marsha Chechik, Joost-Pieter Katoen, and Martin Leucker First published in 2023 — 1 edition

Locate

My Reading Lists:

Create a new list
Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

by Ezio Bartocci, Yliès Falcone, and Martin Leucker First published in 2021 — 1 edition

Locate

My Reading Lists:

Create a new list
Formal Methods : Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected

by Lubos Brim, Boudewijn Haverkort, Martin Leucker, and Jaco van de Pol First published in 2007 — 1 edition

Locate

My Reading Lists:

Create a new list
Logics for Mazurkiewicz traces

by Martin Leucker First published in 2002 — 1 edition

Locate

My Reading Lists:

Create a new list
Preview

Preview Book
×Close

Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings

by Martin Leucker First published in 2009 — 1 edition

Locate

My Reading Lists:

Create a new list

We need a photo of Martin Leucker

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL7208092A

Links outside Open Library

No links yet. Add one?

Download catalog record: RDF / JSON