Dean Rosenzweig - Wissenschaftliche Veröffentlichungen

(1 - 10 von 11

)

dblp.uni-trier.de

List of computer science publications by Dean Rosenzweig

dblp.uni-trier.de

Bibliographic details on Model-Based Testing of Cryptographic Protocols.

dblp.l3s.uni-hannover.de

Dean Rosenzweig, Davor Runje, Wolfram Schulte: Model-Based Testing of Cryptographic Protocols. TGC : 2005: DBLP DOI BibTeX RDF: 1: Dean Rosenzweig, …

dblp.uni-trier.de

List of computer science publications by Benjamin Rossman

dblp.org

· Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman: Interactive Small-Step Algorithms II: Abstract State Machines and the ...

dblp.uni-trier.de

List of computer science publications by Igor Durdanovic

dblp.l3s.de

1, Egon BÃ¶rger, Dean Rosenzweig, A Mathematical Definition of Full Prolog , Egon BÃ¶rger, Giuseppe Del Castillo, Paola Glavan, Dean Rosenzweig ...

dblp.uni-trier.de

List of computer science publications by Andreas Blass

dblp.l3s.de

1, Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman , Yuri Gurevich, Dean Rosenzweig, Partially Ordered Runs: A Case Study. ...

dblp.dagstuhl.de

List of computer science publications by Davor Runje

Verwandte Suchanfragen zu Dean Rosenzweig

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 Dean Rosenzweig