Title :
Verification of the Cigarette Smokers´ Problem: a Viable Approach
Author :
Conrad, Eric V. ; Hura, Gurdeep S.
Author_Institution :
Wright State University
Keywords :
Communication system control; Computer science; Concurrent computing; Object oriented modeling; Operating systems; Petri nets; Protocols; Software engineering; System recovery;
Conference_Titel :
TENCON '91.1991 IEEE Region 10 International Conference on EC3-Energy, Computer, Communication and Control Systems
Print_ISBN :
0-7803-0538-8
DOI :
10.1109/TENCON.1991.678222
