Verifying temporal properties of systems
/ Julian Charles Bradfield
Verifying temporal properties of systems
Edition 1
0-8176-3625-0
list
شناسنامه
Main Entry
Bradfield,Julian Charles, 1964 -، نویسندهTitle and Author
Verifying temporal properties of systems / / Julian Charles BradfieldPublication Details
بوستون : : Birkhauser، 1992مPhysical Description
vi ,113 p .؛ : ill . ;25 cm.Subject
Automatic theorem provingPetrinests
Verification ( Logic )
series
(Progress in theoretical computer science؛ )Language
انگلیسیRetrieval Number
Congress:
Notes
انگليسي.Includes bibliographical references ( p .105-109 ) and index.
