Benjamin Bittner - Wissenschaftliche Veröffentlichungen

(1 - 12 von 12

)

Diagnosability of fair transition systemsScienceDirect.com

www.sciencedirect.com

von B Bittner · · Zitiert von: 5 — Diagnosability of fair transition systems. Author links open overlay panel. Benjamin Bittner , Marco Bozzano , Alessandro Cimatti , Marco Gario , Stefano ... von B Bittner · · Zitiert von: 5 — Diagnosability of fair transition systems. Author links open overlay panel. Benjamin Bittner , Marco Bozzano , Alessandro Cimatti , Marco Gario , Stefano ...

Benjamin BittnerDBLP

dblp.org

AP — List of computer science publications by Benjamin Bittner AP — List of computer science publications by Benjamin Bittner.

Publications of Joost-Pieter Katoen

www-i2.informatik.rwth-aachen.de

Viet Yen Nguyen, Benjamin Bittner, Joost-Pieter Katoen, Thomas Noll. Compositional Analysis Using Component-Oriented Interpolation. Proceedings Formal Aspects of Component Software (FACS 2014), Volume of LNCS, pages 68–85, Springer, Harold Bruintjes, Joost-Pieter Katoen, David Lesens.

Publikationen suchen - Technische Hochschule Wildauthonline.th-wildau.de › qisserver › fs.res.frontend › pub › searchresult › se...

thonline.th-wildau.de

Petra Maier, Benjamin Clausius, Asta Richter, Benjamin Bittner, Norbert Hort, Roman Menze. Publikationsjahr Publikationstyp. Journalartikel.

Verwandte Suchanfragen zu Benjamin Bittner

Person "Bittner" (17)
Vorname "Benjamin" (28819)
Name "Bittner" (1721)

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

Wissenschaftliche Veröffentlichungen Benjamin Bittner

Diagnosability of fair transition systemsScienceDirect.com

Benjamin BittnerDBLP

Publications of Joost-Pieter Katoen

dblp: Alessandro Cimatti

dblp: Benjamin Bittner

Moves News | Informatik 2 | Page RWTH AachenRWTH Aachen

dblp: Cristian Mattarei

dblp: Alberto Griggio

dblp: BibTeX records: Benjamin Bittner

dblp: Marco Gario

dblp: Gianni Zampedri

Publikationen suchen - Technische Hochschule Wildauthonline.th-wildau.de › qisserver › fs.res.frontend › pub › searchresult › se...