Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk > 2016 > Nr 1036 > 1--32
Source
Abstract
Identifiers
journal ISSN : | 0138-0648 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] P. A. Abdulla, S. Aronis, B. Jonsson, and K. F. Sagonas. Optimal dynamic partial order reduction. In The 41st Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, POPL ’14, San Diego, CA, USA, January 20-21, 2014, pages 373–384, 2014.
-
[2] R. Alur and T. A. Henzinger. Reactive modules. Formal Methods in System Design, 15(1):7–48, 1999.
-
[3] R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time Temporal Logic. In Proceedings of the 38th Annual Symposium on Foundations of Computer Science (FOCS), pages 100–109. IEEE Computer Society Press, 1997.