Skip to content
TNG Group @ Politecnico di Torino
Telecommunication Networks Group @ Politecnico di Torino
Home
Visiting us
People
Faculty
PostDoc
PhD students
Former members
Visitors
Past PhD students
Research
Research Areas
Group meeting talks
PhD new applications
Projects
Teaching
Bachelor and Master courses
Theses
Job openings
Login
TNG Group @ Politecnico di Torino
Search
Search
Search …
Search
Search …
Menu
Home
Visiting us
People
Faculty
PostDoc
PhD students
Former members
Visitors
Past PhD students
Research
Research Areas
Group meeting talks
PhD new applications
Projects
Teaching
Bachelor and Master courses
Theses
Job openings
Login
Model checking of probabilistic and nondeterministic systemsFoundations of Software Technology and Theoretical Computer Science
Authors:
Bianco, Andrea; Luca, Alfaro
Venue/Journal/Book:
Lecture Notes in Computer ScienceFoundations of Software Technology and Theoretical Computer Science
Year:
1995
Record on IRIS repository:
Model checking of probabilistic and nondeterministic systemsFoundations of Software Technology and Theoretical Computer Science