Login / Signup

Games and Decisions for Rigorous Systems Engineering (Dagstuhl Seminar 12461).

Nikolaj BjørnerKrishnendu ChatterjeeLaura KovácsRupak Majumdar
Published in: Dagstuhl Reports (2012)
Keyphrases