Automated assume-guarantee reasoning through implicit learning

Journal

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Journal Volume

6174 LNCS

Pages

511-526

Date Issued

2010

Author(s)

Chen, Y.-F.

Clarke, E.M.

Farzan, A.

Tsai, M.-H.

Wang, B.-Y.

DOI

URI

Type

book