Humberto Nicolás Castejón, Rolv Bræk, Gregor von Bochmann. Realizability of Collaboration-based Service Specifications. In 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 5-7 December 2007, Nagoya, Japan. pages 73-80, IEEE Computer Society, 2007. [doi]
@inproceedings{CastejonBB07, title = {Realizability of Collaboration-based Service Specifications}, author = {Humberto Nicolás Castejón and Rolv Bræk and Gregor von Bochmann}, year = {2007}, doi = {10.1109/APSEC.2007.79}, url = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2007.79}, tags = {rule-based}, researchr = {https://researchr.org/publication/CastejonBB07}, cites = {0}, citedby = {0}, pages = {73-80}, booktitle = {14th Asia-Pacific Software Engineering Conference (APSEC 2007), 5-7 December 2007, Nagoya, Japan}, publisher = {IEEE Computer Society}, }