Email Record: Verification of the AX.25 link-layer protocol using place-transition petri nets

TUKLAS: UP Libraries' Resource Discovery Tool
 Copyright © 2020-2021. The University Library, University of the Philippines Diliman