PublicationInformation Processing LettersPaperLimits for automatic verification of finite-state concurrent systemsInformation Processing LettersView publicationAbstractNo abstract available.Home↳ PublicationsDate30 May 1986PublicationInformation Processing LettersAuthorsKrzysztof R. AptDexter C. KozenIBM-affiliated at time of publicationTopicsComputer ScienceShare
