SwePub
Sök i SwePub databas

  Extended search

Träfflista för sökning "(db:Swepub) lar1:(uu) spr:und "

Search: (db:Swepub) lar1:(uu) spr:und

  • Result 1-10 of 3147
Sort/group result
   
EnumerationReferenceCoverFind
1.
  •  
2.
  •  
3.
  •  
4.
  •  
5.
  •  
6.
  •  
7.
  •  
8.
  • Abdulla, Parosh Aziz, et al. (author)
  • Regular Model Checking for LTL(MSO)
  • 2004
  • In: Proc. 16th Int. Conf. on Computer Aided Verification, LNCS.
  • Journal article (peer-reviewed)
  •  
9.
  •  
10.
  •  
Skapa referenser, mejla, bekava och länka
  • Result 1-10 of 3147

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 Close

Copy and save the link in order to return to this view