SwePub
Tyck till om SwePub Sök här!
Sök i LIBRIS databas

  Utökad sökning

WFRF:(Bertrand Philippe)
 

Sökning: WFRF:(Bertrand Philippe) > (2005-2009) > Verification of Pro...

Verification of Probabilistic Systems with Faulty Communication

Aziz Abdulla, Parosh (författare)
Uppsala universitet,Institutionen för informationsteknologi,Datorteknik,DOCS,APV
Bertrand, Nathalie (författare)
Rabinovich, Alexander (författare)
visa fler...
Schnoebelen, Philippe (författare)
visa färre...
 (creator_code:org_t)
2005
2005
Engelska.
Ingår i: The Journal of Information and Computation.
  • Tidskriftsartikel (refereegranskat)
Ämnesord
Stäng  

Publikations- och innehållstyp

ref (ämneskategori)
art (ämneskategori)

Hitta via bibliotek

Till lärosätets databas

Hitta mer i SwePub

Av författaren/redakt...
Aziz Abdulla, Pa ...
Bertrand, Nathal ...
Rabinovich, Alex ...
Schnoebelen, Phi ...
Artiklar i publikationen
Av lärosätet
Uppsala universitet

Sök utanför SwePub

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.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy