Concurrent software verification with states, events, and deadlocks
Additional information
Authors
Sharygina N.,
Chaki S.,
Clark E.,
Ouaknine J.,
Sinha N.
Type
Journal Article
Year
2005
Language
Italian
Journal
Formal Aspects of Computing
Pages (or article number)
461-483
