[IEEE 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) - Toronto, ON, Canada (2011.06.21-2011.06.24)] 2011 IEEE 26th Annual Symposium on Logic in Computer Science - Temporal Specifications with Accumulative Values
Boker, Udi, Chatterjee, Krishnendu, Henzinger, Thomas A., Kupferman, OrnaAnnée:
2011
Langue:
english
DOI:
10.1109/lics.2011.33
Fichier:
PDF, 330 KB
english, 2011