Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni. An algorithm for direct synthesis of formal specifications. In Proceedings 8th IEEE International Workshop on Rapid System Prototyping: Shortening the Path from Specification to Prototype, June 24-26, 1997, Chapel Hill, North Carolina, USA. pages 28-38, IEEE, 1997. [doi]
@inproceedings{CarchioloMM97-0, title = {An algorithm for direct synthesis of formal specifications}, author = {Vincenza Carchiolo and Michele Malgeri and Giuseppe Mangioni}, year = {1997}, doi = {10.1109/IWRSP.1997.618821}, url = {http://doi.ieeecomputersociety.org/10.1109/IWRSP.1997.618821}, researchr = {https://researchr.org/publication/CarchioloMM97-0}, cites = {0}, citedby = {0}, pages = {28-38}, booktitle = {Proceedings 8th IEEE International Workshop on Rapid System Prototyping: Shortening the Path from Specification to Prototype, June 24-26, 1997, Chapel Hill, North Carolina, USA}, publisher = {IEEE}, isbn = {0-8186-8064-4}, }