Proofs for traffic safety : combining diagrams and logic
2015
XIII, 201, 7 S.
graf. Darst.
Zsfassung in dt. Sprache
Langzeitarchivierung durch Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek
Hochschulschrift
Englisch
Proofs for traffic safety : combining diagrams and logic
TIBKAT | 2015
|Proofs for traffic safety : combining diagrams and logic
TIBKAT | 2015
|Runway Safety Corner: Airport Diagrams
Online Contents | 2003