Stavros Tripakis - Wissenschaftliche Veröffentlichungen

(1 - 4 von 5

)

dblp.uni-trier.de

Bibliographic details on Building models of real-time systems from application software.

dblp.org

List of computer science publications by Stavros Tripakis

cps.soe.ucsc.edu

Stavros Tripakis. Speaker Title: Professor. Speaker Organization: Aalto University. Start Time: Thursday, March 15, :30am. End Time:.

www.rtsys.informatik.uni-kiel.de

· ... EFFICIENT SYMBOLIC REPRESENTATION Marc Pouzet and Pascal Raymond; ON RELATIONAL INTERFACES Stavros Tripakis, Ben Lickly ...

Verwandte Suchanfragen zu Stavros Tripakis

sortiert nach Relevanz / Datum

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 Stavros Tripakis