Generic trace theory (2006)

Cached

Download Links

by Ichiro Hasuo , Bart Jacobs , Ana Sokolova
Venue:International Workshop on Coalgebraic Methods in Computer Science (CMCS 2006), volume 164 of Elect. Notes in Theor. Comp. Sci
Citations:8 - 4 self