Verifying temporal properties of processes

Authors:
Julian Bradfield;Colin Stirling
Affiliations:
-;-
Venue:
CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
Year:
1990

Citing 0
Cited 4

Logic Based Abstractions of Real-Time Systems

Formal Methods in System Design
Local model checking for context-free processes

Nordic Journal of Computing
Petri Net Based Components For Evolvable Architectures

Journal of Integrated Design & Process Science
Safety Properties In Petri Net Modules

Journal of Integrated Design & Process Science

Quantified Score

Hi-index	0.00

Visualization

Abstract