Differencing labeled transition systems

Xing, Z.
Sun, J.
Liu, Y.
Dong, J.S.

Open link

Publication date

January 2011

DOI

10.1007/978-3-642-24559-6_36

Publisher

Springer Science and Business Media LLC

ISSN

0302-9743

Abstract

10.1007/978-3-642-24559-6_36Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)6991 LNCS537-55

Extracted data

We use cookies to provide a better user experience.

Data Protection

Differencing labeled transition systems

Xing, Z.
Sun, J.
Liu, Y.
Dong, J.S.

Open link

Publication date

January 2011

DOI

10.1007/978-3-642-24559-6_36

Publisher

Springer Science and Business Media LLC

ISSN

0302-9743

Abstract

10.1007/978-3-642-24559-6_36Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)6991 LNCS537-55

Differencing labeled transition systems

Abstract

Extracted data

Differencing labeled transition systems

Abstract

Extracted data

Related items

Related items