Automatic Synthesis of Temporal Invariants
Sara Bernardini and David E. Smith
Book Title
Proceedings of the Ninth Symposium on Abstraction‚ Reformulation‚ and Approximation‚ SARA 2011‚ Parador de Cardona‚ Cardona‚ Catalonia‚ Spain‚ July 17−18‚ 2011
Editor
Michael R. Genesereth and Peter Z. Revesz
Publisher
AAAI
Year
2011