You have Guest access.
Log In
Volume 1 / 1997 - Volume 14 / 2012
401-424
Regular Contribution
FAST: acceleration from theory to practice
Sébastien Bardin, Alain Finkel, Jérôme Leroux and Laure Petrucci
425-441
A uniform framework for weighted decision diagrams and its implementation
Jörn Ossowski and Christel Baier
443-454
Properties of state spaces and their applications
Radek Pelánek
455-471
FTSyn: a framework for automatic synthesis of fault-tolerance
Ali Ebnenasir, Sandeep S. Kulkarni and Anish Arora
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info