SFX SFX Services for this record
Language
Title: A method of verification in design%253A an operating system case study
Source:

Proceedings of the 33rd Annual Hawaii International Conference on System Sciences [0-7695-0493-0] Keane, John

yr:2000
Collapse list of basic services Basic (Passwords for e-Journals can be found here )

Full Text

Full text available via IEEE Electronic Library (IEL) Conference Proceedings GO
Authentication: Login to VPN for off campus access.