• ↓ Direkt till sidans innehåll
• ↓ Direkt till sidans sekundära innehåll (sidomenyn)

• Om SwePub
• In English
• Sökhistorik/mina poster
• Rensa historik

Sökning: LAR1:uu > Proving Liveness by...

• 1537 av 272661
• Föregående post
• Nästa post
•    Till träfflistan

• Översikt
• Detaljer

•  
• Se större omslagsbild

©

Proving Liveness by Backwards Reachability

Abdulla, Parosh Aziz (författare)

Uppsala universitet,Datorteknik

Jonsson, Bengt (författare)

Uppsala universitet,Datorteknik

Rezine, Ahmed (författare)

Uppsala universitet,Datorteknik

visa fler...

Saksena, Mayank (författare)

Uppsala universitet,Institutionen för informationsteknologi

visa färre...

 (creator_code:org_t)

ISBN 3540373764

2006

2006

Engelska.

Relaterad länk:

https://urn.kb.se/re...

• Konferensbidrag (refereegranskat)

Innehållsförteckning Abstract Ämnesord

Stäng  

No table of content available

No summary available

Publikations- och innehållstyp

ref (ämneskategori)

kon (ämneskategori)

• Länka till posten

Hitta via bibliotek

• Proving Liveness by Backwards Reachability (Sök värdpublikationen i LIBRIS)

Till lärosätets databas

• 1537 av 272661
• Föregående post
• Nästa post
•    Till träfflistan

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

• Copyright © LIBRIS - Nationella bibliotekssystem
• LIBRIS.kb.se