Tatjana Kapus, Zmago Brezocnik. Specifying and Verifying Dataflow Networks in TLA. In M. H. Hamza, editor, Proceedings of the 17th IASTED International Conference on Applied Informatics, February 15-18, 1999, Innsbruck, Austria. pages 544-547, IASTED/ACTA Press, 1999.
Abstract is missing.