Marc Spielmann und Abstract State Machines - Info zur Person

(1 - 8 von 9

)

SS > book reviews > Marc Spielmann

www-users.cs.york.ac.uk

Marc Spielmann. Google > Marc Spielmann. author : Marc Spielmann. Short works. Logspace Reducibility via Abstract State Machines (In FM'99 volume ...

Marc Spielmann - The Mathematics Genealogy Project

www.genealogy.math.ndsu.nodak.edu

Marc Spielmann. MathSciNet. Dr. rer. nat. Rheinisch-Westfälische Technische Hochschule Aachen Germany. Dissertation: Abstract State Machines: ...

Abstract State Machines - Theory and Applications: International...

books.google.de

Checking. Abstract. State. Machines. and. Beyond. Marc Spielmann Mathematische Grundlagen der Informatik, RWTH Aachen, D Aachen, Germany ...

Marc Spielmann - dblp

dblp.org

List of computer science publications by Marc Spielmann Erich Grädel, Marc Spielmann: Logspace Reducibility via Abstract State Machines.

Automatic Verification of Abstract State Machines | SpringerLink

link.springer.com

Automatic Verification of Abstract State Machines. Extended Abstract. Authors; Authors and affiliations. Marc Spielmann. Marc Spielmann LuFG MGdIRWTH AachenAachenGermany. Conference paper. First Online: 14 January Downloads. Part of the Lecture Notes in Computer Science book series (LNCS, ...

Patrick Nicklaus
Jens Schladitz
Norman Jansen-Nägeler

Person "Spielmann" (4)
Vorname "Marc" (37406)
Name "Spielmann" (758)

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

Marc Spielmann und Abstract State Machines Person-Info

SS > book reviews > Marc Spielmann

Marc Spielmann - The Mathematics Genealogy Project

Abstract State Machines - Theory and Applications: International...

Marc Spielmann - dblp

Automatic Verification of Abstract State Machines | SpringerLink

Marc Spielmann - Deutsche Digitale Bibliothek

2003 Digital Symposium Collection

CiteSeerX — Recursive Abstract State Machines

Alle Infos zum Namen "Marc Spielmann"