Skip to main content

Acta Informatica

Ausgabe 6/2009

Inhalt (2 Artikel)

Original Article

Reasoning about faulty quantum programs

Paolo Zuliani

Original Article

STG decomposition strategies in combination with unfolding

Victor Khomenko, Mark Schaefer, Walter Vogler, Ralf Wollowski