Weakest congruences, fairness and compositional process-algebraic verification
Weakest congruences, fairness and compositional process-algebraic verification
Tallennettuna:
| Genre | |
|---|---|
| Ulkoasu |
viii, 176, [2] sivua : kuvitettu ; 25 cm |
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Huomautukset |
Artikkeliväitöskirjan yhteenveto-osa ja 5 eripainosta. |
| Julkaisija |
Tampere :
Tampere University of Technology,
2004.
|
| Opinnäyte | Väitöskirja Tampereen teknillinen yliopisto |
| Sarja | Publications / Tampere University of Technology, ISSN 1459-2045; 468. |
| Luokitus | |
| Lisätiedot | Antti Puhakka |
| ISBN |
952-15-1170-2 nidottu |
| Hae kokoteksti | |