PakCat catalogue record Model checking 20/08/2013 10:19 By Clarke, Edmund M. Bibliographic details PublisherThe Mit press Publication placeLondonCD20958 Publication year1999 LanguageEnglish Material typeBook Physical descriptionxiv Subjectscomputer science