Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi, Hirokazu Yatsu, Alan Wills. Formal specification of Catalysis frameworks. In 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore. pages 180-187, IEEE Computer Society, 2000. [doi]
@inproceedings{FilipeLOTYW00,
title = {Formal specification of Catalysis frameworks},
author = {Juliana Küster Filipe and Kung-Kiu Lau and Mario Ornaghi and Kenji Taguchi and Hirokazu Yatsu and Alan Wills},
year = {2000},
url = {http://csdl.computer.org/comp/proceedings/apsec/2000/0915/00/09150180abs.htm},
researchr = {https://researchr.org/publication/FilipeLOTYW00},
cites = {0},
citedby = {0},
pages = {180-187},
booktitle = {7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore},
publisher = {IEEE Computer Society},
isbn = {0-7695-0915-0},
}