Sciweavers

FORTE
2000

Implementing CCS in Maude

14 years 25 days ago
Implementing CCS in Maude
Alberto Verdejo, Narciso Martí-Oliet
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 2000
Where FORTE
Authors Alberto Verdejo, Narciso Martí-Oliet
Comments (0)