System analysis and protocol verification by an interactive Petri net package.
Loading...
Date
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
University of Ottawa (Canada)
Abstract
Description
Keywords
Citation
Source: Masters Abstracts International, Volume: 40-07, page: .