Authors: Spichkova, Maria, Blech, Jan Olaf, Herrmann, Peter Michael, Schmidt, Heinz

Superior Title: 49-58 ; 1235 ; CEUR Workshop Proceedings

File Description: application/pdf

Relation: CEUR Workshop Proceedings 2014, 1235:49-58; urn:issn:1613-0073; http://hdl.handle.net/11250/2389211; cristin:1191060

Availability: http://hdl.handle.net/11250/2389211

Authors: Han, Fenglin, Blech, Jan Olaf, Herrmann, Peter Michael, Schmidt, Heinz

Superior Title: 147 ; Electronic Proceedings in Theoretical Computer Science

File Description: application/pdf

Relation: Electronic Proceedings in Theoretical Computer Science 2014, 147:1-15; urn:issn:2075-2180; http://hdl.handle.net/11250/2368701; https://doi.org/10.4204/EPTCS.147.1; cristin:1191054

Availability: https://doi.org/10.4204/EPTCS.147.1
http://hdl.handle.net/11250/2368701