2223-1-F1801Q132-F1801Q132M: Model Checking: A Tutorial Overview, Stephan Merz | e-Learning - UNIMIB

Skip to main content

If you continue browsing this website, you agree to our policies:

Condizioni di utilizzo e trattamento dei dati

Continue

x

Home
More

English ‎(en)‎

English ‎(en)‎ Italiano ‎(it)‎

You are currently using guest access

Log in

Expand all Collapse all

Percorso della pagina

Science
Master Degree
Informatica [F1801Q]
Courses
A.A. 2022-2023
1st year

Concurrent Models
Logiche temporali e model-checking
Model Checking: A Tutorial Overview, Stephan Merz

Unità didattica Course full name

Concurrent Models

Course ID number

2223-1-F1801Q132-F1801Q132M

Model Checking: A Tutorial Overview, Stephan Merz

Completion requirements

Click Merz_mc_tut.pdf link to view the file.

You are currently using guest access (Log in)

Get the mobile app

Powered by Moodle

© 2024 Università degli Studi di Milano-Bicocca

Privacy policy
Accessibility
Statistics