Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Proving properties of dynamic process networks
RISE - Research Institutes of Sweden, ICT, SICS.
1998 (English)In: Information and Computation, ISSN 0890-5401, E-ISSN 1090-2651, Vol. 140, no 2, p. 95-114Article in journal (Refereed) Published
Place, publisher, year, edition, pages
1998, 1. Vol. 140, no 2, p. 95-114
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:ri:diva-22758OAI: oai:DiVA.org:ri-22758DiVA, id: diva2:1042323
Note

Full version of "Compositional proof systems for model checking infinite state processes."

Available from: 2016-10-31 Created: 2016-10-31 Last updated: 2018-01-14Bibliographically approved

Open Access in DiVA

No full text in DiVA

By organisation
SICS
In the same journal
Information and Computation
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 7 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
v. 2.35.4