uu.seUppsala universitets publikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Algorithmic analysis of programs with well quasi-ordered domains
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi.
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi.
2000 (Engelska)Ingår i: INFORMATION AND COMPUTATION, ISSN 0890-5401, Vol. 160, nr 1-2, s. 109-127Artikel i tidskrift (Refereegranskat) 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

Ort, förlag, år, upplaga, sidor
2000. Vol. 160, nr 1-2, s. 109-127
Nyckelord [en]
INFINITE-STATE; VERIFICATION; WELL QUASI-ORDERING
Identifikatorer
URN: urn:nbn:se:uu:diva-36476OAI: oai:DiVA.org:uu-36476DiVA, id: diva2:64375
Anmärkning
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, TaiwanTillgänglig från: 2007-02-19 Skapad: 2007-02-19 Senast uppdaterad: 2011-01-14

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

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

Personposter BETA

Abdulla, PAJonsson, B

Sök vidare i DiVA

Av författaren/redaktören
Abdulla, PAJonsson, B
Av organisationen
Institutionen för informationsteknologi

Sök vidare utanför DiVA

GoogleGoogle Scholar

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 758 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf