Browse wiki

From CERES
Jump to: navigation, search
Publications:Prototyping SOS meta-theory in Maude
Author Mohammad Reza Mousavi + , M. A. Reniers +
Conference 2nd Workshop on Structural Operational Semantics (SOS 2005), Lisbon, Portugal, July 10, 2005; satellite to ICALP200
DOI http://dx.doi.org/10.1016/j.entcs.2005.09.030  +
Diva http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:584690
EndPage 150  +
HostPublication Proceedings of the 2nd Workshop on Structural Operational Semantics (SOS2005, Lisbon, Portugal, July 10, 2005; satellite to ICALP2005)  +
PublicationType Conference Paper  +
Publisher Elsevier  +
Series Electronic Notes in Theoretical Computer Science  +
StartPage 135  +
Title Prototyping SOS meta-theory in Maude  +
Volume 156(1)  +
Year 2006  +
Has queryThis property is a special property in this wiki. Publications:Prototyping SOS meta-theory in Maude + , Publications:Prototyping SOS meta-theory in Maude + , Publications:Prototyping SOS meta-theory in Maude + , Publications:Prototyping SOS meta-theory in Maude + , Publications:Prototyping SOS meta-theory in Maude + , Publications:Prototyping SOS meta-theory in Maude + , Publications:Prototyping SOS meta-theory in Maude + , Publications:Prototyping SOS meta-theory in Maude + , Publications:Prototyping SOS meta-theory in Maude + , Publications:Prototyping SOS meta-theory in Maude +
Categories Publication  +
Modification dateThis property is a special property in this wiki. 26 June 2014 03:43:40  +
show properties that link here 

 

Enter the name of the page to start browsing from.