Monique Wiesinger

Publication Activity (10 Years)

Years Active: 2011-2012
Publications (10 Years): 0

Top Topics

Deterministic Finite Automaton

Formal Specification

Signaling Pathways

Alternating Time Temporal Logic

Top Venues

Trans. Comp. Sys. Biology

Publications