A reachability analyser for algebraic system nets
Finna-recension
A reachability analyser for algebraic system nets
Sparad:
| Fysisk beskrivning |
85, [7] sivua : kuvitettu ; 25 cm |
|---|---|
| Språk |
engelska |
| Originalverkets språk |
engelska |
| Utgivningsuppgifter |
Espoo :
Helsinki University of Technology,
2001
|
| Serie | Helsinki University of Technology. Laboratory for Theoretical Computer Science. A, Research reports, ISSN 1457-7615; 69 |
| Klassifikation | |
| Tillverkningsuppgifter | (Helsinki : Picaset) |
| Upphovsuppgifter | Marko Mäkelä |
| ISBN |
951-22-5541-3 nidottu |
| Standardnummer |
HUT-TCS-A69 |
| Hämta fulltext | |