La lecture à portée de main
Auteur
Suivre The Quang Tran
Documents
Unfolding based verification of concurrent infinite-state systems
The Quang Tran
Documents
Savoirs
Unfolding based verification of concurrent infinite-state systems
The Quang Tran
190 pages
Français