Details for the publication WieringaJ01.

Roel J. Wieringa, David N. Jansen (): Techniques for Reactive System Design: The Tools in TRADE. In Advanced Information Systems Engineering, 13th International Conference, CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001, Proceedings, volume 2068 of Lecture Notes in Computer Science, pages 93-107, 2001. DOI BIB