Géraldo Guidacci Da Silveira
According to our database1,
Géraldo Guidacci Da Silveira
authored at least 1 paper
in 1983.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1983
Specification and Validation of Protocols by Temporal Logic and Nets.
Proceedings of the Information Processing 83, 1983