On Combining the Stubborn Set Method with the Sleep Set Method
Year of publication
1994
Authors
Varpaaniemi, K.
Organizations and authors
Publication type
Publication format
Article
Parent publication type
Conference
Article type
Other article
Audience
ScientificPeer-reviewed
Peer-ReviewedMINEDU's publication type classification code
A4 Article in conference proceedingsPublication channel information
Parent publication name
Publisher
SPRINGER
Pages
548-567
Open access
Open access in the publisher’s service
No
Self-archived
No
Other information
Keywords
deadlock detection; place/transition nets; Reachability Analysis; sleep set method; stubborn set method
Internationality of the publisher
International
Language
English
International co-publication
No
Co-publication with a company
No
The publication is included in the Ministry of Education and Culture’s Publication data collection
Yes