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

ICTL. Vol. 827 Springer, 1994. p. 48-66 (Lecture Notes in Computer Science).

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

Published
Original languageUndefined/Unknown
Title of host publicationICTL
PublisherSpringer
Pages48-66
Number of pages19
Volume827
Publication statusPublished - 1994

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

ID: 7240992