Login / Signup
P. L. Pieraccini
Publication Activity (10 Years)
Years Active: 1999-1999
Publications (10 Years): 0
</>
Publications
</>
Alessandro Cimatti
,
P. L. Pieraccini
,
Roberto Sebastiani
,
Paolo Traverso
,
Adolfo Villafiorita
Formal Specification and Validation of a Vital Communication Protocol.
World Congress on Formal Methods
(1999)