dblp.uni-trier.dewww.uni-trier.de

Frédéric Béal

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
4EEFrédéric Béal, Tomohiro Yoneda, Chris J. Myers: Hazard Checking of Timed Asynchronous Circuits Revisited. Fundam. Inform. 88(4): 411-435 (2008)
3EEFrédéric Béal, Tomohiro Yoneda, Chris J. Myers: A Conservative Framework for Safety-Failure Checking. IEICE Transactions 91-D(3): 642-654 (2008)
2007
2EEFrédéric Béal, Tomohiro Yoneda, Chris J. Myers: Hazard Checking of Timed Asynchronous Circuits Revisited. ACSD 2007: 51-60
2004
1EEJean Vuillemin, Frédéric Béal: On the BDD of a Random Boolean Function. ASIAN 2004: 483-493

Coauthor Index

1Chris J. Myers [2] [3] [4]
2Jean Vuillemin [1]
3Tomohiro Yoneda [2] [3] [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)