Login / Signup

Synthesizing nonanomalous event-based controllers for liveness goals.

Nicolás D'IppolitoVíctor A. BrabermanNir PitermanSebastián Uchitel
Published in: ACM Trans. Softw. Eng. Methodol. (2013)
Keyphrases