Jael Kriener und Andy King - Info zur Person

(1 - 7 von 7

)

Celtique publications

www.irisa.fr

Lecture Notes in Computer Science, Volume 8164, Pages , Menlo Park, United States, download; Jael Kriener, Andy King, Sandrine Blazy.

Computer Aided Verification: 23rd International Conference, CAV

books.google.de

191 Jörg Brauer, Andy King, and Jael Kriener Efficient Analysis of Probabilistic Programs with an Unbounded Counter

Dr. rer. nat. Jörg Brauer [Informatik Embedded Software]

embedded.rwth-aachen.de

Dr. rer. nat. Jörg Brauer. Contact ... The paper Existential Quantification as Incremental SAT which I co-authored with Andy King and Jael Kriener was accepted for ...

Dr. rer. nat. Jörg Brauer [Lehrstuhl Informatik Embedded...

embedded.rwth-aachen.de

: Das Papier Existential Quantification as Incremental SAT, welches ich gemeinsam mit Andy King und Jael Kriener geschrieben habe, wurde auf ...

My Co-Authors [Informatik Embedded Software]

embedded.rwth-aachen.de

Volker Kamin (1) (RWTH, Germany). Andy King (5) (University of Kent, UK). Stefan Kowalewski (16) (RWTH, Germany). Jael Kriener (1) (University of Kent, UK).

Mutual Exclusion by Interpolation | SpringerLink

link.springer.com

Mutual Exclusion by Interpolation. Authors; Authors and affiliations. Jael Kriener; Andy King. Jael Kriener. 1. Andy King University of KentCanterburyUK.

incremental execution - researchr tag

researchr.org

... Andy King, Jael Kriener. cav 2011: [doi] · FIRM—A Graph-Based Intermediate RepresentationMatthias Braun, Sebastian Buchwald, Andreas Zwinkau ...

Alle Infos zum Namen "Jael Kriener"

Verwandte Suchanfragen zu Jael Kriener

Leslie Lamport
Jörg Brauer
Stephan Merz

Andy King

Personen
Vorname "Jael" (147)
Name "Kriener" (236)

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

Jael Kriener und Andy King Person-Info