School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency (1988 : Noordwijkerhout)
VIAF ID: 168010117 ( Corporate )
Permalink: http://viaf.org/viaf/168010117
Preferred Forms
4xx's: Alternate Name Forms (3)
5xx's: Related Names (1)
- 551 _ _ ‡a Noordwijkerhout
Works
Title | Sources |
---|---|
Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988 |