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

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

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

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

Cite this