External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Incremental Bisimulation Abstraction Refinement

Lei Song, Lijun Zhang 0001, Holger Hermanns, Jens Chr. Godskesen. Incremental Bisimulation Abstraction Refinement. In 13th International Conference on Application of Concurrency to System Design, ACSD 2013, Barcelona, Spain, 8-10 July, 2013. pages 11-20, IEEE, 2013. [doi]

Authors

Lei Song

This author has not been identified. Look up 'Lei Song' in Google

Lijun Zhang 0001

This author has not been identified. It may be one of the following persons: Look up 'Lijun Zhang 0001' in Google

Holger Hermanns

This author has not been identified. Look up 'Holger Hermanns' in Google

Jens Chr. Godskesen

This author has not been identified. Look up 'Jens Chr. Godskesen' in Google
runs on