DocumentCode
1706482
Title
Verification of the Cigarette Smokers´ Problem: a Viable Approach
Author
Conrad, Eric V. ; Hura, Gurdeep S.
Author_Institution
Wright State University
Volume
4
fYear
1991
Firstpage
93
Lastpage
96
Keywords
Communication system control; Computer science; Concurrent computing; Object oriented modeling; Operating systems; Petri nets; Protocols; Software engineering; System recovery;
fLanguage
English
Publisher
ieee
Conference_Titel
TENCON '91.1991 IEEE Region 10 International Conference on EC3-Energy, Computer, Communication and Control Systems
Print_ISBN
0-7803-0538-8
Type
conf
DOI
10.1109/TENCON.1991.678222
Filename
678222
Link To Document