Km G. Larsen

Research Areas

Logic, programming, and type systems, Formal Methods in Verification, Petri Nets in System Modeling

Most-Cited Works

• → Lower-Bound Constrained Runs in Weighted Timed Automata(2012)12 cited