Andreas Griesmayer

Publication Activity (10 Years)

Years Active: 2005-2016
Publications (10 Years): 2

Top Topics

Temporal Epistemic

Verification Method

Top Venues

J. Comput. Syst. Sci.

ICSOC Workshops

Publications