Login / Signup

Formulas, Processes, and Petri-Nets Applied to the Specification and Verification of a HDLC Protocol.

Manuel Duque-AntónM. Bretschneider
Published in: TAPSOFT, Vol.2 (1989)
Keyphrases