-
1
Existential Definability over the Subword Ordering
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11
Context-bounded verification of thread pools
Veröffentlicht in Proceedings of ACM on programming languages
VolltextArtikel -
12
-
13
-
14
Context-Bounded Verification of Context-Free Specifications
Veröffentlicht in Proceedings of ACM on programming languages
VolltextArtikel -
15
-
16
-
17
UV absorption-based inverse modeling of protein chromatography
Veröffentlicht in Engineering in life sciences
VolltextArtikel -
18
-
19
-
20