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

José Luiz Fiadeiro, T. S. E. Maibaum

Research output: Other contribution

Original languageEnglish
PublisherSpringer Verlag
Number of pages19
Publication statusPublished - 1994

Cite this