Willemse, Timothy Ariën Carol (1974-)
Ook als: Tim en T.A.C. Willemse
| rdfs:label | "Willemse, Timothy Ariën Carol (1974-)" |
| schema:name | "Timothy Ariën Carol Willemse" |
|
schema:family |
"Willemse" |
|
schema:given |
"Timothy Ariën Carol" |
| schema:description | "Ook als: Tim en T.A.C. Willemse" |
|
schema:birth |
"1974" |
|
schema:same |
<http:/ |
|
<https:/ |
|
| wd:Q58555624 | |
|
schema:main |
<https:/ |
Inverse relations
[ .. ] → schema:contributor → Willemse, Timothy Ariën Carol (1974-)
A checker for modal formulas for processes with data / by Jan Friso Groote and Tim A.C. Willemseschema:ProductModel
Branching bisimulation for probabilistic systems: characteristics and decidability / S. Andova, T.A.C. Willemseschema:ProductModel
Branching bisimulation for probabilistic systems: characteristics and decidability / Suzana Andova, Tim A.C. Willemseschema:ProductModel
Language-driven system design / by S. Mauw, W.T. Wiersma and T.A.C. Willemseschema:ProductModel
Message sequence charts in the software engineering process / by S. Mauw, M.A. Reniers and T.A.C. Willemseschema:ProductModel
[ .. ] → schema:author → Willemse, Timothy Ariën Carol (1974-)
A case study in formal methods : specification and validation of the OM/RR protocol / Tim Willemse, Jan Tretmans, and Arjen Klompschema:ProductModel
Interpretations of automata / by Tim A.C. Willemseschema:ProductModel
Semantics and verification in process algebras with data and timing / Timothy Ariël Carol Willemseschema:ProductModel
The analysis of a conveyor belt system : a case study in hybrid systems and timed uCRL / by Tim A.C. Willemseschema:ProductModel