Time versus abstraction in formal description.

Home > Research > Publications & Outputs > Time versus abstraction in formal description.

Research output: Contribution to Journal/Magazine › Journal article

Published

<mark>Journal publication date</mark>	1994
<mark>Journal</mark>	IFIP Transactions C
Volume	22
Number of pages	76
Pages (from-to)	407-482
Publication Status	Published
<mark>Original language</mark>	English

Research