Sciweavers

LICS
2007
IEEE

Bialgebraic Operational Semantics and Modal Logic

14 years 6 months ago
Bialgebraic Operational Semantics and Modal Logic
Bartek Klin
Added 04 Jun 2010
Updated 04 Jun 2010
Type Conference
Year 2007
Where LICS
Authors Bartek Klin
Comments (0)