Sciweavers

WOLLIC
2007
Springer

Hybrid Logical Analyses of the Ambient Calculus

14 years 6 months ago
Hybrid Logical Analyses of the Ambient Calculus
Thomas Bolander, René Rydhof Hansen
Added 09 Jun 2010
Updated 09 Jun 2010
Type Conference
Year 2007
Where WOLLIC
Authors Thomas Bolander, René Rydhof Hansen
Comments (0)