Rom Langerak;Ed Brinksma;Joost-Pieter Katoen
-;-;-
On Refinement-Closed Security Properties and Nondeterministic Compositions
Electronic Notes in Theoretical Computer Science (ENTCS)
Improving Partial Order Reductions for Universal Branching Time Properties
Fundamenta Informaticae