PAT: Towards flexible verification under fairness

Sun, J.
Liu, Y.
Dong, J.S.
Pang, J.

Open link

Publication date

January 2009

DOI

10.1007/978-3-642-02658-4_59

Publisher

Springer Science and Business Media LLC

Abstract

10.1007/978-3-642-02658-4_59Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)5643 LNCS709-71

Extracted data

We use cookies to provide a better user experience.

Data Protection

PAT: Towards flexible verification under fairness

Abstract

Extracted data

PAT: Towards flexible verification under fairness

Abstract

Extracted data

Related items

Related items