12. AMAST 2008:
Urbana, IL, USA José Meseguer , Grigore Rosu (Eds.):
Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings.
Lecture Notes in Computer Science 5140 Springer 2008, ISBN 978-3-540-79979-5
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Teodor Rus :
Liberate Computer User from Programming.
16-35
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Jiho Kim :
Coinductive Properties of Causal Maps.
253-267
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Simone Tini :
Non Expansive epsilon-Bisimulations.
362-376
export record as
dblp key:
export record as
dblp key:
conf/amast/RiemsdijkHWS08 export record as
dblp key:
conf/amast/VoronenkoFMP08 export record as
dblp key:
data released under the ODC-BY 1.0 license
