-
1
Proof Theory of a Multi-Lane Spatial Logic
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
2
-
3
Synthesizing and verifying controllers for multi-lane traffic maneuvers
Veröffentlicht in Formal aspects of computing
VolltextArtikel -
4
-
5
-
6
-
7
X-tolerant Test Data Compaction with Accelerated Shift Registers
Veröffentlicht in Journal of electronic testing
VolltextArtikel -
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20