Martín Abadi, Leslie Lamport, Pierre Wolper
Realizable and Unrealizable Specifications of Reactive Systems
ICALP, 1989.
@inproceedings{ICALP-1989-AbadiLW,
author = "Martín Abadi and Leslie Lamport and Pierre Wolper",
booktitle = "{Proceedings of the 16th International Colloquium on Automata, Languages and Programming}",
doi = "10.1007/BFb0035748",
isbn = "3-540-51371-X",
pages = "1--17",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{Realizable and Unrealizable Specifications of Reactive Systems}",
volume = 372,
year = 1989,
}