View Abstraction for Systems with Component Identities

Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-95582-7_30 ◽

2018 ◽

pp. 505-522 ◽

Author(s):

Gavin Lowe

Download Full-text