Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Name	Lecture Notes in Computer Science
Publisher	Springer

Cite this

@inproceedings{c63a93e84a40457ca98357bcff33770e,

title = "Sometimes {"}Tomorrow{"} is {"}Sometime{"} - Action Refinement in a Temporal Logic of Objects",

author = "Fiadeiro, \{Jos{\'e} Luiz\} and Maibaum, \{T. S. E.\}",

year = "1994",

language = "Undefined/Unknown",

volume = "827",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "48--66",

booktitle = "ICTL",

}