Non-monotonic Temporal Goals

Pedro Cabalar, Tran Cao Son, Ricardo Gonçalves, Matthias Knorr, João Leite, Martin Slota,

URL	http://dx.doi.org/10.1007/978-3-642-40564-8_37
Publisher	Springer
Series	Lecture Notes in Computer Science
Volume	8148
ISBN	978-3-642-40563-1, 9
URL	http://dx.doi.org/10.1007/978-3-642-40564-8_37
Publisher	Springer
Series	Lecture Notes in Computer Science
Volume	8148
ISBN	978-3-642-40563-1, 9

Publication