Showing 1 - 5 results of 5 for search 'Tim A. C. Willemse', query time: 0.02s
Refine Results
-
1
Analysis of Boolean Equation Systems through Structure Graphs by Michel A. Reniers, Tim A.C. Willemse
Published 2010-02-01
Article -
2
A symmetric protocol to establish service level agreements by Jan Friso Groote, Tim A. C. Willemse
Published 2020-09-01
Article -
3
-
4
Correct and Efficient Antichain Algorithms for Refinement Checking by Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse
Published 2021-02-01
Article -
5
Games for Bisimulations and Abstraction by David De Frutos Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse
Published 2017-11-01
Article