Original language | Undefined |
---|---|
Place of Publication | University of Twente, Enschede |
Publisher | Centre for Telematics and Information Technology (CTIT) |
Number of pages | 14 |
Publication status | Published - 1996 |
Keywords
- METIS-119141
G.J. Tretmans, P.R. d' Argenio, Joost P. Katoen, T.C. Ruys
Research output: Book/Report › Report › Professional
Original language | Undefined |
---|---|
Place of Publication | University of Twente, Enschede |
Publisher | Centre for Telematics and Information Technology (CTIT) |
Number of pages | 14 |
Publication status | Published - 1996 |