A reachability analyser for algebraic system nets
Finna-arvio
A reachability analyser for algebraic system nets
Tallennettuna:
| Ulkoasu |
85, [7] sivua : kuvitettu ; 25 cm |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Julkaisija |
Espoo :
Helsinki University of Technology,
2001
|
| Sarja | Helsinki University of Technology. Laboratory for Theoretical Computer Science. A, Research reports, ISSN 1457-7615; 69 |
| Luokitus | |
| Valmistaja | (Helsinki : Picaset) |
| Lisätiedot | Marko Mäkelä |
| ISBN |
951-22-5541-3 nidottu |
| Standardinumero |
HUT-TCS-A69 |
| Hae kokoteksti | |