Mario Dal Cin. Structured language for specifications of quantitative requirements. In 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings. pages 221-227, IEEE Computer Society, 2000. [doi]
@inproceedings{Cin00, title = {Structured language for specifications of quantitative requirements}, author = {Mario Dal Cin}, year = {2000}, doi = {10.1109/HASE.2000.895466}, url = {http://doi.ieeecomputersociety.org/10.1109/HASE.2000.895466}, researchr = {https://researchr.org/publication/Cin00}, cites = {0}, citedby = {0}, pages = {221-227}, booktitle = {5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings}, publisher = {IEEE Computer Society}, isbn = {0-7695-0927-4}, }