Leonor Barroca, Pedro Rangel Henriques. A framework and patterns for the specification of reactive systems. Information \& Software Technology, 40(3):135-142, 1998. [doi]
No references recorded for this publication.
No citations of this publication recorded.