uu.seUppsala University Publications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • 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
Algorithmic analysis of programs with well quasi-ordered domains
Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology.
Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology.
2000 (English)In: INFORMATION AND COMPUTATION, ISSN 0890-5401, Vol. 160, no 1-2, 109-127 p.Article in journal (Refereed) Published
Abstract [en]

Over the past few years increasing research effort has been directed towards the automatic verification of infinite-state systems. This paper is concerned with identifying general mathematical structures which can serve as sufficient conditions for achiev

Place, publisher, year, edition, pages
2000. Vol. 160, no 1-2, 109-127 p.
Keyword [en]
INFINITE-STATE; VERIFICATION; WELL QUASI-ORDERING
Identifiers
URN: urn:nbn:se:uu:diva-36476OAI: oai:DiVA.org:uu-36476DiVA: diva2:64375
Note
Addresses: Abdulla PA, Univ Uppsala, Dept Comp Syst, POB 325, S-75105 Uppsala, Sweden. Univ Uppsala, Dept Comp Syst, S-75105 Uppsala, Sweden. Univ Latvia, Inst Math & Comp Sci, Riga, Latvia. Natl Taiwan Univ, Dept Informat Management, Taipei 10764, TaiwanAvailable from: 2007-02-19 Created: 2007-02-19 Last updated: 2011-01-14

Open Access in DiVA

No full text

Other links

http://www.sciencedirect.com/science?_ob=MImg&_imagekey=B6WGK-45F4PDV-1J-4&_cdi=6825&_user=1052425&_orig=search&_coverDate=07%2F10%2F2000&_sk=998399998&view=c&wchp=dGLzVlz-zSkWb&md5=4c4cf125ab4857962e82416b8b81c4b2&ie=/sdarticle.pdf

Authority records BETA

Abdulla, PAJonsson, B

Search in DiVA

By author/editor
Abdulla, PAJonsson, B
By organisation
Department of Information Technology

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

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

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • 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