Assumption/guarantee specifications in linear-time temporal logic (extended abstract) (Q5096736)
From MaRDI portal
scientific article; zbMATH DE number 7572969
Language | Label | Description | Also known as |
---|---|---|---|
English | Assumption/guarantee specifications in linear-time temporal logic (extended abstract) |
scientific article; zbMATH DE number 7572969 |
Statements
Assumption/guarantee specifications in linear-time temporal logic (extended abstract) (English)
0 references
18 August 2022
0 references