FAST: acceleration from theory to practice Sébastien BardinAlain FinkelLaure Petrucci Regular Contribution 05 February 2008 Pages: 401 - 424
A uniform framework for weighted decision diagrams and its implementation Jörn OssowskiChristel Baier Regular Contribution 27 March 2008 Pages: 425 - 441
Properties of state spaces and their applications Radek Pelánek Regular Contribution 06 June 2008 Pages: 443 - 454
FTSyn: a framework for automatic synthesis of fault-tolerance Ali EbnenasirSandeep S. KulkarniAnish Arora Regular Contribution 31 July 2008 Pages: 455 - 471