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 description.
View graph of relations

« Back

Time versus abstraction in formal description.

Research output: Contribution to journalJournal article

Published

Journal publication date1994
JournalIFIP Transactions. Series C
Volume22
Number of pages76
Pages407-482
Original languageEnglish