Sometimes “tomorrow” is “sometime”: Action refinenent in a temporal logic of objects

José Luiz Fiadeiro, Tom Maibaum

Research output: Chapter in Book/Report/Conference proceedingConference contribution

36 Citations (Scopus)

Fingerprint Dive into the research topics of 'Sometimes “tomorrow” is “sometime”: Action refinenent in a temporal logic of objects'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science