parameterized model checking Positions RSS Feed Positions tagged with parameterized model checking

Type
PhD Project
Saarland University

Automatic Synthesis of Distributed and Parameterized Systems

Date Posted

2 Mar 2015
Location
Saarbrücken
Saarland, Germany