Verifying temporal properties of processes

Julian Bradfield, Colin Stirling

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationCONCUR '90 Theories of Concurrency: Unification and Extension
Subtitle of host publicationAmsterdam, The Netherlands, August 27–30, 1990 Proceedings
EditorsJ.C.M. Baeten, J.W. Klop
PublisherSpringer Berlin Heidelberg
Pages115-125
Number of pages11
Volume458
ISBN (Electronic)978-3-540-46395-5
ISBN (Print)978-3-540-53048-0
DOIs
Publication statusPublished - 1990

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
Volume458

Cite this