12,000

We have over 12,000 students, from over 100 countries, within one of the safest campuses in the UK

93%

93% of Lancaster students go into work or further study within six months of graduating

Home > Research > Publications & Outputs > Time versus abstraction in formal descriptions.
View graph of relations

« Back

Time versus abstraction in formal descriptions.

Research output: Contribution in Book/Report/ProceedingsChapter

Published

Publication date1994
Host publicationProceedings of the Sixth International Conference on Formal Description Techniques (Forte '93)
EditorsR. L. Tenney, P. D. Amer, Umiy Uyar
Place of publicationNorth Holland
PublisherElsevier
<mark>Original language</mark>English