"Bidirectional liveness analysis, or how less than half of the Alpha's ..."

Bjorn De Sutter, Bruno De Bus, Koen De Bosschere (2006)

Details and statistics

DOI: 10.1016/J.SYSARC.2006.03.001

access: closed

type: Journal Article

metadata version: 2020-05-19

a service of  Schloss Dagstuhl - Leibniz Center for Informatics