Volume 46, Issue 6 | Acta Informatica

Search all Acta Informatica articles

Volume 46, Issue 6

October 2009

Filter by

Volume:

Sort by

Date published:

New to old Old to new

2 articles in this issue

Reasoning about faulty quantum programs
Paolo Zuliani
Original Article 31 July 2009 Pages: 403 - 432
STG decomposition strategies in combination with unfolding
Victor Khomenko
Mark Schaefer
Ralf Wollowski
Original Article 12 August 2009 Pages: 433 - 474