Regular model checking
- Författare
- Marcus Nilsson
- (Marcus Nilsson.)
- Genre
- theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Acta Universitatis Upsaliensis, Univ.-bibl. distributör, Elander Gotab | 2005 | Sverige, Uppsala, Stockholm | 149 sidor. ill. | |
| Dept. of Information Technology, Univ. | 2000 | Sverige, Uppsala | 53 sidor. | |
| 2000 | Sverige |