60. Birthday: Kim Guldstrand Larsen 2017

Refine list

showing all ?? records

Formal Languages and Automata Theory

Logic

Verification, Model Checking and Testing

Algorithmic Game Theory and Mechanism Design

Semantics and Reasoning

Real-Time and Distributed Systems

Modeling and Simulation