(2012): Volumes 7200–7249 - Index of files in - University of Utah
(2012): Volumes 7200–7249 - Index of files in - University of Utah
(2012): Volumes 7200–7249 - Index of files in - University of Utah
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
REFERENCES 67<br />
Albert:<strong>2012</strong>:VRG<br />
[250] Elvira Albert, Richard Bubel, Samir Genaim, Re<strong>in</strong>er Hähnle, and<br />
Guillermo Román-Díez. Verified resource guarantees for heap manipulat<strong>in</strong>g<br />
programs. Lecture Notes <strong>in</strong> Computer Science, 7212:130–145,<br />
<strong>2012</strong>. CODEN LNCSD9. ISSN 0302-9743 (pr<strong>in</strong>t), 1611-3349 (electronic).<br />
URL http://l<strong>in</strong>k.spr<strong>in</strong>ger.com/chapter/10.1007/978-3-<br />
642-28872-2_10/.<br />
Maggi:<strong>2012</strong>:ODS<br />
[251] Fabrizio Maria Maggi, Marco Montali, and Wil M. P. van der Aalst.<br />
An operational decision support framework for monitor<strong>in</strong>g bus<strong>in</strong>ess constra<strong>in</strong>ts.<br />
Lecture Notes <strong>in</strong> Computer Science, 7212:146–162, <strong>2012</strong>. CODEN<br />
LNCSD9. ISSN 0302-9743 (pr<strong>in</strong>t), 1611-3349 (electronic). URL http://<br />
l<strong>in</strong>k.spr<strong>in</strong>ger.com/chapter/10.1007/978-3-642-28872-2_11/.<br />
Disk<strong>in</strong>:<strong>2012</strong>:IQK<br />
[252] Z<strong>in</strong>ovy Disk<strong>in</strong>, Tom Maibaum, and Krzyszt<strong>of</strong> Czarnecki. Intermodel<strong>in</strong>g,<br />
queries, and Kleisli categories. Lecture Notes <strong>in</strong> Computer Science, 7212:<br />
163–177, <strong>2012</strong>. CODEN LNCSD9. ISSN 0302-9743 (pr<strong>in</strong>t), 1611-3349<br />
(electronic). URL http://l<strong>in</strong>k.spr<strong>in</strong>ger.com/chapter/10.1007/978-<br />
3-642-28872-2_12/.<br />
Hermann:<strong>2012</strong>:CMS<br />
[253] Frank Hermann, Hartmut Ehrig, Claudia Ermel, and Fernando Orejas.<br />
Concurrent model synchronization with conflict resolution based<br />
on triple graph grammars. Lecture Notes <strong>in</strong> Computer Science, 7212:<br />
178–193, <strong>2012</strong>. CODEN LNCSD9. ISSN 0302-9743 (pr<strong>in</strong>t), 1611-3349<br />
(electronic). URL http://l<strong>in</strong>k.spr<strong>in</strong>ger.com/chapter/10.1007/978-<br />
3-642-28872-2_13/.<br />
Bradfield:<strong>2012</strong>:RCQ<br />
[254] Julian Bradfield and Perdita Stevens. Recursive checkonly QVT-R transformations<br />
with general when and where clauses via the modal mu calculus.<br />
Lecture Notes <strong>in</strong> Computer Science, 7212:194–208, <strong>2012</strong>. CODEN<br />
LNCSD9. ISSN 0302-9743 (pr<strong>in</strong>t), 1611-3349 (electronic). URL http://<br />
l<strong>in</strong>k.spr<strong>in</strong>ger.com/chapter/10.1007/978-3-642-28872-2_14/.<br />
deMol:<strong>2012</strong>:GTJ<br />
[255] Maarten de Mol, Arend Rens<strong>in</strong>k, and James J. Hunt. Graph transform<strong>in</strong>g<br />
Java data. Lecture Notes <strong>in</strong> Computer Science, 7212:209–223,<br />
<strong>2012</strong>. CODEN LNCSD9. ISSN 0302-9743 (pr<strong>in</strong>t), 1611-3349 (electronic).<br />
URL http://l<strong>in</strong>k.spr<strong>in</strong>ger.com/chapter/10.1007/978-3-<br />
642-28872-2_15/.