-
1
Bisimulation semantics for concurrency with atomicity and action refinement
Veröffentlicht 1992Buch -
2
-
3
-
4
-
5
"Ik zal u/ons helpen met Justitie" het verhulde ontwerpproces van het Justitiegebouw
Veröffentlicht 2022
VolltextArtikel -
6
-
7
-
8
-
9
-
10
-
11
Formal methods 22nd International Symposium, FM 2018 : held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018 : proceedings
Veröffentlicht 2018
VolltextElektronisch Tagungsbericht E-Book -
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20