Pascal Hitzler , Anthony Karel Seda
July 2001
5th Irish Workshop on Formal Methods (IWFM)
Irish Workshop on Formal Methods
16-17 July 2001
This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/