aalto1 untyped-item.component.html
An Induction Theorem for Ring Protocols of Processes Described Using Predicate/Transition Nets
Loading...
URL
Journal Title
Journal ISSN
Volume Title
Helsinki University of Technology |
Licentiate thesis
Electronic archive copy is available via Aalto Thesis Database.
Checking the digitized thesis and permission for publishing
Instructions for the author
Instructions for the author
Authors
Date
Department
Major/Subject
Mcode
Tik-79
Degree programme
Language
en
Pages
71