BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Collaborated with:
M.Bretschneider
Talks about:
protocol (1) process (1) formula (1) specif (1) verif (1) petri (1) appli (1) hdlc (1) net (1)

Person: Manuel Duque-Antón

DBLP DBLP: Duque-Ant=oacute=n:Manuel

Contributed to:

TAPSOFT, Vol.2: CCIPL 19891989

Wrote 1 papers:

CCIPL-1989-AntonB #petri net #process #protocol #specification #verification
Formulas, Processes, and Petri-Nets Applied to the Specification and Verification of a HDLC Protocol (MDA, MB), pp. 140–154.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.