Ansgar Fehnker und Annabelle Mciver - Info zur Person

(1 - 10 von 10

)

ESOP Preliminary Programme

www2.in.tum.de

Ansgar Fehnker, Rob Van Glabbeek, Peter Höfner, Annabelle Mciver, Marius Portmann and Wee Lum Tan. A Process Algebra for Wireless ...

Computer Science authors/titles Dec 2013

arxiv.org

Round-The-Clock Urine Sugar Monitoring System for Diabetic Patients Teleoperation System Using Past Image Records Considering Narrow Communication Hybrid Automated Reasoning Tools: from Black-box to Clear-box Integration Ansgar Fehnker, Rob van Glabbeek, Peter Höfner, Annabelle McIver, Marius ...

dblp: Annabelle McIver

dblp.uni-trier.de

List of computer science publications by Annabelle McIver

Cobra: A Tool for Solving General Deductive Games

is.muni.cz

Deductive Games. In Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei ...

Fehnker, Ansgar (Person) - Bowdoin College Library

link.bowdoin.edu

Ansgar Fehnker, Annabelle McIver, Andrei Voronkov, (electronic resource).

BibTeX Publications - Thibault Gauthier

cl-informatik.uibk.ac.at

{2015}, editor = {Martin Davis and Ansgar Fehnker and Annabelle McIver and ...

Publications

www.kroening.com

Martin Davis and Ansgar Fehnker and Annabelle McIver and Andrei Voronkov }, } ...

ACM* MSWiM Accepted Papers

mswimconf.com

... Marius Portmann (University of Queensland, Australia); Annabelle McIver (Macquarie University, Australia); Ansgar Fehnker (National ICT Australia, Australia)

Formal Techniques for the Analysis of Wireless Networks

www.prismmodelchecker.org

[MF06] Annabelle McIver and Ansgar Fehnker. Formal Techniques for the Analysis of Wireless Networks. In Proc. 2nd International Symposium on Leveraging ...

Workshop at IFM 2007

homepages.cs.ncl.ac.uk

Ansgar Fehnker, Matthias Fruth, Annabelle McIver. Graphical modelling for simulation and formal analysis of wireless network protocols Michael Fisher, Boris

Alle Infos zum Namen "Ansgar Fehnker"

Verwandte Suchanfragen zu Ansgar Fehnker

Ralf Huuck
Paul Pettersson
Gerd Behrmann

Stefan Edelkamp
Wolf Rödiger
Ansgar Grüne

Maurice Gully
Matthias Fruth
Anke Baumhöfer

Personen
Vorname "Ansgar" (2713)
Name "Fehnker" (28)

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

Ansgar Fehnker und Annabelle Mciver Person-Info