Algorithmic multiparameterised verification of safety properties : process algebraic approach
Algorithmic multiparameterised verification of safety properties : process algebraic approach
herkules.oulu.fi/isbn9789514262524/
(Jyväskylän yliopisto - Jykdok)
Tallennettuna:
| Ulkoasu |
168 sivua : kuvitettu Myös verkkoaineistona (ISBN 978-951-42-6252-4 (PDF)) |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Tiivistelmän kieli |
englanti |
| Julkaisija |
Oulu :
University of Oulu,
2010.
|
| Opinnäyte | Väitöskirja : Oulun yliopisto, luonnontieteellinen tiedekunta, tietojenkäsittelytieteiden laitos, tietojenkäsittelytiede |
| Sarja | Acta Universitatis Ouluensis, A, Scientiae rerum naturalium, ISSN 0355-3191; 560. |
| Aiheet | |
| Lisätiedot | Antti Siirtola |
| ISBN |
978-951-42-6251-7 pehmeäkantinen |