BCS-FACS Workshop on Specification and Verification of Concurrent Systems (1988 : University of Stirling)
Workshop on Specification and Verification of Concurrent Systems 1988 Stirling
BCS-FACS Workshop on Specification and Verification of Concurrent Systems (1988 ; Stirling).
BCS-FACS Workshop on Specification and Verification of Concurrent Systems
VIAF ID: 129693217 ( Corporate )
Permalink: http://viaf.org/viaf/129693217
Preferred Forms
- 110 2 _ ‡a BCS-FACS Workshop on Specification and Verification of Concurrent Systems
-
- 111 2 _ ‡a BCS-FACS Workshop on Specification and Verification of Concurrent Systems ‡d (1988 : ‡c University of Stirling)
-
-
-
-
- 111 2 _ ‡a Workshop on Specification and Verification of Concurrent Systems ‡d 1988 ‡c Stirling
4xx's: Alternate Name Forms (7)
5xx's: Related Names (1)
- 551 _ _ ‡a Stirling
Works
Title | Sources |
---|---|
Specification and verification of concurrent systems, 1990: |