Verification of EB3 Specifications Using CADP

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-642-38613-8_5 ◽

2013 ◽

pp. 61-76 ◽

Cited By ~ 1

Author(s):

Dimitris Vekris ◽

Frédéric Lang ◽

Catalin Dima ◽

Radu Mateescu

Download Full-text