The open archive for STFC research publications

You may experience service outages on ePubs over the coming days due to work being carried out to enhance our network infrastructure. The service should be considered at risk from 23/11 - 03/12.

Full Record Details

Persistent URL http://purl.org/net/epubs/work/33527
Record Status Checked
Record Id 33527
Title Formal Specification of a Small Example from GKS
Organisation BITD , SERC
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Journal Article ACM Trans Graph 7, no. 3 (1988): 180-197. doi:10.1145/44479.44481 1988