- Collection Overview
- Collection Description & Creator Information
- Access & Use
- Collection History
- Find Related Materials
Generalized Petri Nets As Models For Systems Verification, August 1975, 1975 August
Collection Overview
Collection Description & Creator Information
- Description:
Consists of technical reports from the Computer Sciences Laboratory.
Collection History
Access & Use
- Access Restrictions:
Collection is open for research use.
- Conditions for Reproduction and Use:
Single photocopies may be made for research purposes. For quotations that are fair use as defined under U. S. Copyright Law, no permission to cite or publish is required.
- Credit this material:
Generalized Petri Nets As Models For Systems Verification, August 1975; Computer Sciences Laboratory Technical Reports, 1967-1985, ENG027, Technical and Scientific Reports, Engineering Library, Princeton University Library
- Location:
-
Engineering LibraryEngineering LibraryFriend Center for Engineering EducationPrinceton, NJ 08540, USA