Back to matchesWe found a matchYour institution may have rights to this item. Sign in to continue.TitleSequence-based Software Specification of Deterministic SystemsAuthorsProwell, S. J.; Poore, J. H.PublicationSoftware: Practice & Experience, 1998, Vol 28, Issue 3, p327ISSN0038-0644Publication typeArticle