Fair model checking with process counter abstraction

Sun, J.
Liu, Y.
Roychoudhury, A.
Liu, S.
Dong, J.S.

Open link

Publication date

January 2009

DOI

10.1007/978-3-642-05089-3_9

Publisher

Springer Science and Business Media LLC

ISSN

0302-9743

Citation count (estimate)

Abstract

10.1007/978-3-642-05089-3_9Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)5850 LNCS123-13

Extracted data

We use cookies to provide a better user experience.

Data Protection

Fair model checking with process counter abstraction

Abstract

Extracted data

Fair model checking with process counter abstraction

Abstract

Extracted data

Related items

Related items