( en | de | ru )

 

Disambiguation of "Valenzano, Adriano"

Author of the publication

copydeleteadd this publication to your clipboard
A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification.

, , and . FORTE, volume 183 of IFIP Conference Proceedings, page 155-170. Kluwer, (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Adriano Aebli

Adriano Zanier

Adriano Pistoia

Adriano Scoditti

Adriano Venturieri

 

Other publications of authors with the same name

Integrating fieldbuses and factory intranets., , and . Int. J. Computer Integrated Manufacturing, 14 (1): 41-54 (2001)Comparing lexical analysis tools for buffer overflow detection in network software., , , and . COMSWARE, page 1-7. IEEE, (2006)A software implementation of IEEE 1588 on RTAI/RTnet platforms., , , , , and . ETFA, page 1-8. IEEE, (2010)A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification., , and . FORTE, volume 183 of IFIP Conference Proceedings, page 155-170. Kluwer, (2000)The reference-broadcast infrastructure synchronization protocol., , , and . ETFA, page 1-4. IEEE, (2012)Product Data Exchange Using STEP., , and . PROLAMAT, volume 132 of IFIP Conference Proceedings, page 257-270. Kluwer, (1998)Automatic Detection of Attacks on Cryptographic Protocols: A Case Study., , , and . DIMVA, volume 3548 of Lecture Notes in Computer Science, page 69-84. Springer, (2005)Duplication avoidance mechanisms to reduce bandwidth usage in redundant Wi-Fi networks., , and . WFCS, page 1-10. IEEE, (2017)Automated fixing of access policy implementation in Industrial Networked Systems., , , , and . WFCS, page 1-9. IEEE, (2017)Error detection and management in CAN XR., , , and . WFCS, page 1-9. IEEE, (2018)