Fingerprint
Dive into the research topics of 'Process semantics of temporal logic specification'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Process semantics of temporal logic specification
L. Fiadeiro, J. F. Costa, A. Sernadas, T. S.E. Maibaum
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
7
Citations
(Scopus)