Stefan Leue und Model Checking Software - Info zur Person

(1 - 11 von 20

)

bokus.com: Model Checking Software - Dragan Bosnacki, Stefan Leue - Häftad...

Köp Model Checking Software av Dragan Bosnacki, Stefan Leue. Skickas inom vardagar. Fri frakt över 199 kr. Välkommen till Bokus bokhandel!

Model Checking Software - Dragan Bosnacki; Stefan Leue

www.eurobuch.at

Model Checking Software. Finden Sie alle Bücher von Dragan Bosnacki; Stefan Leue. Bei der Büchersuchmaschine eurobuch.at können Sie antiquarische und Neubücher...

Model Checking Software: 9th International SPIN Workshop ...google.ch

books.google.ch

... Stefan Leue. Partial Order Reduction in Directed Model Checking Alberto Lluch-Lafuente, Stefan Edelkamp, and Stefan Leue Institut für Informatik, Albert ...

Model Checking Software: 9th International SPIN Workshop Grenoble,...

books.google.de

Partial Order Reduction in Directed Model Checking Alberto Lluch-Lafuente, Stefan Edelkamp, and Stefan Leue Institut für Informatik, Albert-Ludwigs-Universität ...

Model Checking Software | SpringerLink

link.springer.com

The SPIN workshop series brings together researchers and practitioners int- ested in explicit state model checking technology as it is applied to the veri?-...

Model Checking Software von Dragan Bosnacki, Stefan Leue

www.heyn.at

› item › Stefan_Leue

Model Checking Software door Dragan Bosnacki - Managementboek.nl

www.managementboek.nl

The SPIN workshop series brings together researchers and practitioners int- ested in explicit state model checking technology as it is applied to the … -...

2000–2004Uni Oldenburg

uol.de

In Dragan Bosnacki and Stefan Leue, editors, Model Checking Software, volume of Lecture Notes in Computer Science, pages

Model checking softwareEindhoven University of Technology

research.tue.nl

von D BoŠnaČki · · Zitiert von: 1 — editor / Dragan Bosnacki ; Stefan Leue. Springer, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Extending the translation from SDL to promela — Macquarie...

researchers.mq.edu.au

Language, English. Title of host publication, Model Checking Software - 9th International SPIN Workshop, Proceedings. Editors, Dragan Bošnački, Stefan Leue.

Alle Infos zum Namen "Stefan Leue"

Verwandte Suchanfragen zu Stefan Leue

Clara Zetkin
Stefan Edelkamp
Anton Angelov

Personen
Vorname "Stefan" (78868)
Name "Leue" (382)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Stefan Leue und Model Checking Software Person-Info