Fluent temporal logic for discrete-time event-based models
Letier, Emmanuel, Kramer, Jeff, Magee, Jeff, Uchitel, SebastianVolume:
30
Language:
english
Journal:
ACM SIGSOFT Software Engineering Notes
DOI:
10.1145/1095430.1081719
Date:
September, 2005
File:
PDF, 308 KB
english, 2005