Login / Signup

Mark Timmer

ORCID

Publication Activity (10 Years)

Years Active: 2006-2017
Publications (10 Years): 2

Top Topics

Probabilistic Automata
Formal Verification
Partial Order
Temporal Properties

Top Venues

Theor. Comput. Sci.
CoRR
Int. J. Softw. Tools Technol. Transf.
MBT

University of Twente, Enschede, Netherlands (PHD)

Education History
University of Twente, Enschede, Netherlands

PHD

Publications