temporal logic Positions RSS Feed Positions tagged with temporal logic

Type
PhD Project
Saarland University

Automatic Synthesis of Distributed and Parameterized Systems

Date Posted

2 Mar 2015
Location
Saarbrücken
Saarland, Germany