A temporal logic for the interaction of strategies
Journal
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Journal Volume
6901 LNCS
Pages
466-481
Date Issued
2011
Author(s)
Type
conference paper