Antonio Cau. Composing and Refining Dense Temporal Logic Specifications. Formal Asp. Comput., 12(1):52-70, 2000. [doi]
@article{Cau00, title = {Composing and Refining Dense Temporal Logic Specifications}, author = {Antonio Cau}, year = {2000}, url = {http://link.springer.de/link/service/journals/00165/bibs/0012001/00120052.htm}, tags = {logic}, researchr = {https://researchr.org/publication/Cau00}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {12}, number = {1}, pages = {52-70}, }