Back to matchesWe found a matchYour institution may have rights to this item. Sign in to continue.TitleAutomatic verification of sequential control systems using temporal logic.AuthorsMoon, Il; Powers, Gary J.; Burch, Jerry R.; Clarke, Edmund M.PublicationAIChE Journal, 1992, Vol 38, Issue 1, p67ISSN0001-1541Publication typeArticleDOI10.1002/aic.690380107