Time versus abstraction in formal descriptions.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

Published

Publication date	1994
Host publication	Proceedings of the Sixth International Conference on Formal Description Techniques (Forte '93)
Editors	R. L. Tenney, P. D. Amer, Umiy Uyar
Place of Publication	North Holland
Publisher	Elsevier
<mark>Original language</mark>	English

Research