1
Computer Aided Verification [E-Book] : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings /
Other Personal Name(s): “...Damm, Werner...”

Full text 
Favorites
Saved in:
2
Formal Techniques in Real-Time and Fault-Tolerant Systems [E-Book] : 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings /
Other Personal Name(s): “...Damm, Werner....”

Full text 
Favorites
Saved in:
3
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen /
Book
Other Personal Name(s): “...Damm, Werner....”
Loan/Reservation

Favorites
Saved in:

Narrow Search Results