PranCS: A Protocol and Discrete Controller Synthesis Tool.

Idress Husien, Sven Schewe, Nicolas Berthier

Browse the full SETTA paper archive.