Abstraction in Reasoning about Higraph-Based Systems

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/3-540-36576-1_25 ◽

2003 ◽

pp. 392-408

Author(s):

John Power ◽

Konstantinos Tourlas

Download Full-text