Dataset - CKAN

Verification based on unfoldings of Petri nets with read arcs

Humans make mistakes, especially when faced to complex tasks, such as the construction of modern hardware or software. This thesis focuses on machine-assisted...
- HTML

You can also access this registry using the API (see API Docs).