It looks like you're offline.

Last edited by RenameBot

August 22, 2008 | History

Edit

Nicolas Halbwachs

We need a photo of Nicolas Halbwachs

3 works Add another?

Sort by:

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Random

— Show only ebooks?

Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings (Lecture Notes in Computer Science)

by Nicolas Halbwachs and Doron Peled First published in 1999 — 2 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Synchronous programming of reactive systems

by Nicolas Halbwachs First published in 1993 — 2 editions

Locate

My Reading Lists:

Create a new list
Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held As Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings

by Nicolas Halbwachs and Lenore Zuck First published in 2005 — 1 edition

Locate

My Reading Lists:

Create a new list

We need a photo of Nicolas Halbwachs

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL838136A

Links outside Open Library

No links yet. Add one?

History

Created April 1, 2008
2 revisions

Download catalog record: RDF / JSON

August 22, 2008	Edited by RenameBot	fix author name
April 1, 2008	Created by an anonymous user	initial import