Semantics and verification in process algebras with data and timing
Edición de la obra Semantics and verification in process algebras with data and timing
| Autor | Tim Willemse |
|---|---|
| Fecha de publicación | 2003 |
| Idioma | inglés |
| Páginas | 181 |
| ISBN-10 | 9038606729 |
| OCLC | 53920614 |
| Número de Cutter | W699s |