Traces for Coalgebraic Components (2010)

by Ichiro Hasuo , Bart Jacobs
Venue:MATH. STRUCT. IN COMP. SCIENCE
Citations:2 - 1 self