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

@misc{5e7466c164a7428c9b7b8a7085a8bb56,
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 = "English",
publisher = "Springer Verlag",
address = "Germany",
type = "Other",

}

Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects. / Fiadeiro, José Luiz; Maibaum, T. S. E.

19 p. Springer Verlag. 1994, .

Research output: Other contribution

TY - GEN

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

AU - Fiadeiro, José Luiz

AU - Maibaum, T. S. E.

PY - 1994

Y1 - 1994

UR - https://www.springer.com/fr/book/9783540582410

M3 - Other contribution

PB - Springer Verlag

ER -