Solving Parity Games and Mu-Calculi

Bradfield, Julian (Principal Investigator)

6 Conference contribution
2 Article

2 results

Filter

2011
Model-checking games for fixpoint logics with partial order models
Gutierrez, J. & Bradfield, J., May 2011, In: Information and Computation. 209, 5, p. 766-781 16 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
2010
A general definition of malware
Kramer, S. & Bradfield, J., May 2010, In: Journal in Computer Virology. 6, 2, p. 105-114 10 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File