A Framework for An LTS Semantics for PROMELA

Main Authors: Suprapto, Suprapto, Pulungan, Reza
Format: Proceeding PeerReviewed application/pdf
Bahasa: eng
Terbitan: , 2011
Subjects:
Online Access: https://repository.ugm.ac.id/35114/1/SP-SEAMS-11.pdf
https://repository.ugm.ac.id/35114/
Description not available.