Pierre Wolper
Algorithms for Synthesizing Reactive Systems: A Perspective
LOPSTR, 1998.
@inproceedings{LOPSTR-1998-Wolper, author = "Pierre Wolper", booktitle = "{Proceedings of the Eighth International Workshop on Logic Programming Synthesis and Transformation}", doi = "10.1007/3-540-48958-4_17", isbn = "3-540-65765-7", pages = "308", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Algorithms for Synthesizing Reactive Systems: A Perspective}", volume = 1559, year = 1998, }