Concurrent software verification with states, events, and deadlocks
Informazioni aggiuntive
Autori
Sharygina N.,
Chaki S.,
Clark E.,
Ouaknine J.,
Sinha N.
Tipo
Articolo pubblicato in rivista scientifica
Anno
2005
Lingua
Italiano
Periodico
Formal Aspects of Computing
Pagine (o numero dell’articolo)
461-483
