Search results

Articles (5)

Journals (0)

1-5 of 5 results for OBDD

Sort by:

Relevance

Select all

Sort by:

Relevance

Free access

Research article

First published 2005-8

Fault Diagnosis of Distributed Discrete Event Systems Using OBDD

Fei Xue, Da-zhong Zheng, Lu Yan

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2012-11-12

Valentina Ciriani, Sabrina De Capitani di Vimercati, Sara Foresti [...]

Journal of Computer Security

Retricted access

Research article

First published 2007-2

Gianluca Torta, Pietro Torasso

The European Journal on Artificial Intelligence

Open access

Research article

First published 2011-2

Olga Tveretina, Carsten Sinz, Hans Zantema

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2007-10

Alessio Lomuscio, Franco Raimondi, Bożena Woźna

Fundamenta Informaticae