A
Menu
January 01, 1983 conference-paper

Automatic verification of finite state concurrent system using temporal logic specifications

ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL)

DOI: 10.1145/567067.567080 OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 1 stored of 419

1 result

References 0