Comparing learning algorithms in automated assume-guarantee reasoning

Journal

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

Journal Volume

6415 LNCS

Journal Issue

PART 1

Pages

643-657

Date Issued

2010

Author(s)

Chen, Y.-F.

Clarke, E.M.

Farzan, A.

He, F.

Tsai, M.-H.

Wang, B.-Y.

Zhu, L.

DOI

URI

Type

book