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.

Invariants, Modularity, and Rights

Ernie Cohen, Eyad Alkassar, Vladimir Boyarinov, Markus Dahlweid, Ulan Degenbaev, Mark A. Hillebrand, Bruno Langenstein, Dirk Leinenbach, Michal Moskal, Steven Obua, Wolfgang J. Paul, Hristo Pentchev, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev. Invariants, Modularity, and Rights. In Amir Pnueli, Irina Virbitskaite, Andrei Voronkov, editors, Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers. Volume 5947 of Lecture Notes in Computer Science, pages 43-55, Springer, 2009. [doi]

Authors

Ernie Cohen

This author has not been identified. Look up 'Ernie Cohen' in Google

Eyad Alkassar

This author has not been identified. Look up 'Eyad Alkassar' in Google

Vladimir Boyarinov

This author has not been identified. Look up 'Vladimir Boyarinov' in Google

Markus Dahlweid

This author has not been identified. Look up 'Markus Dahlweid' in Google

Ulan Degenbaev

This author has not been identified. Look up 'Ulan Degenbaev' in Google

Mark A. Hillebrand

This author has not been identified. Look up 'Mark A. Hillebrand' in Google

Bruno Langenstein

This author has not been identified. Look up 'Bruno Langenstein' in Google

Dirk Leinenbach

This author has not been identified. Look up 'Dirk Leinenbach' in Google

Michal Moskal

This author has not been identified. Look up 'Michal Moskal' in Google

Steven Obua

This author has not been identified. Look up 'Steven Obua' in Google

Wolfgang J. Paul

This author has not been identified. Look up 'Wolfgang J. Paul' in Google

Hristo Pentchev

This author has not been identified. Look up 'Hristo Pentchev' in Google

Elena Petrova

This author has not been identified. Look up 'Elena Petrova' in Google

Thomas Santen

This author has not been identified. Look up 'Thomas Santen' in Google

Norbert Schirmer

This author has not been identified. Look up 'Norbert Schirmer' in Google

Sabine Schmaltz

This author has not been identified. Look up 'Sabine Schmaltz' in Google

Wolfram Schulte

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

Andrey Shadrin

This author has not been identified. Look up 'Andrey Shadrin' in Google

Stephan Tobies

This author has not been identified. Look up 'Stephan Tobies' in Google

Alexandra Tsyban

This author has not been identified. Look up 'Alexandra Tsyban' in Google

Sergey Tverdyshev

This author has not been identified. Look up 'Sergey Tverdyshev' in Google
runs on