Axel Legay

9 works Add another?

Sort by:

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Random

— Show only ebooks?

Risks and Security of Internet and Systems: 15th International Conference, CRiSIS 2020, Paris, France, November 4-6, 2020, Proceedings

by Frédéric Cuppens, Nora Cuppens, Jean-Louis Lanet, and Axel Legay First published in 2017 — 6 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
From Programs to Systems - the Systems Perspective in Computing: ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

by Saddek Bensalem, Yassine Lakhnech, and Axel Legay First published in 2014 — 3 editions

Locate

My Reading Lists:

Create a new list
Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings

by Axel Legay and Tiziana Margaria First published in 2003 — 3 editions

Locate

My Reading Lists:

Create a new list
Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings

by Axel Legay and Saddek Bensalem First published in 2009 — 3 editions

Locate

My Reading Lists:

Create a new list
Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

by Axel Legay and Marius Bozga First published in 2014 — 2 editions

Locate

My Reading Lists:

Create a new list
Hardware and Software : Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

by Valeria Bertacco and Axel Legay First published in 2013 — 2 editions

Locate

My Reading Lists:

Create a new list
Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

by Cyrille Artho, Axel Legay, and Doron Peled First published in 2016 — 2 editions

Locate

My Reading Lists:

Create a new list
Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

by Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay, and Radu Mardare First published in 2017 — 1 edition

Locate

My Reading Lists:

Create a new list
Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

by Fabrizio Biondi, Thomas Given-Wilson, and Axel Legay First published in 2019 — 1 edition

Locate

My Reading Lists:

Create a new list

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL7831340A

Links outside Open Library

No links yet. Add one?

History

Created April 22, 2020
1 revision

Download catalog record: RDF / JSON

April 22, 2020

Created by ImportBot

import new book

Axel Legay

9 works Add another?

Create a new list

Subjects

Lists

Add to List

ID Numbers

Links outside Open Library

History