Directory Home
Researchers
Departments
Publications
Projects
Activities
Datasets
Home
>
Research
>
Publications & Outputs
>
Time versus abstraction in formal descriptions.
Research
Research at Lancaster
Researchers
Departments & Centres
Publications & Outputs
Projects
Activities
Datasets
Computing and Communications
School Of Mathematical Sciences
View graph of relations
Time versus abstraction in formal descriptions.
Research output
:
Contribution in Book/Report/Proceedings - With ISBN/ISSN
›
Chapter
Published
Overview
Cite this
H. Bowman
L. Blair
Gordon S. Blair
Amanda G. Chetwynd
Close
More...
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