-
1
A Complete Axiomatisation for Probabilistic Trace Equivalence
Veröffentlicht in Scientific annals of computer science
VolltextArtikel -
2
Visual exploration of migration patterns in gull data
Veröffentlicht in Information visualization
VolltextArtikel -
3
-
4
Tool interoperability for model-based systems engineering
Veröffentlicht in arXiv.org
VolltextArtikel -
5
Harmonising patient-access programmes: the Dutch DRUG Access Protocol platform
Veröffentlicht in The lancet oncology
VolltextArtikel