Attributed automata - a formal model for protocol specification

Författare
Jaan Penjam
Språk
Engelska
Förlag År Ort Om boken ISBN
KTH 1994 Sverige, Stockholm 51 sidor. : ill.