| LC control no. | nb 99050268 |
|---|---|
| Personal name heading | Katoen, Joost-Pieter |
| Found in | Formal methods for real-time and probabilistic systems, 1999: t.p. (Joost-Pieter Katoen) verso (Univ. of Erlangen-Nürnberg) |
 |  |  |
View this record in: MARCXML | LC Authorities & Vocabularies | VIAF (Virtual International Authority File)
