SwePub
Sök i LIBRIS databas

  Utökad sökning

WFRF:(Mousavi Mohammad Reza)
 

Sökning: WFRF:(Mousavi Mohammad Reza) > Symmetry and partia...

Symmetry and partial order reduction techniques in model checking Rebeca

Jaghoori, Mohammad Mahdi (författare)
Centrum voor Wiskunde en Informatica (CWI), Amsterdam, The Netherlands
Sirjani, Marjan (författare)
University of Tehran and IPM, Tehran, Iran
Mousavi, Mohammad Reza (författare)
Eindhoven University of Technology, Eindhoven, The Netherlands
visa fler...
Movaghar, Ali (författare)
Sharif University of Technology, Tehran, Iran
visa färre...
 (creator_code:org_t)
Amsterdam : Centrum voor Wiskunde en Informatica (CWI), Department of Computer Science, 2007
Engelska 30 s.
Serie: Software Engineering, 1386-369X ; SEN-R0704
  • Rapport (övrigt vetenskapligt/konstnärligt)
Ämnesord
Stäng  

Ämnesord

NATURVETENSKAP  -- Data- och informationsvetenskap (hsv//swe)
NATURAL SCIENCES  -- Computer and Information Sciences (hsv//eng)

Publikations- och innehållstyp

vet (ämneskategori)
rap (ämneskategori)

Till lärosätets databas

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