SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "LAR1:uu ;spr:und"

Sökning: LAR1:uu > Odefinierat språk

Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  •  
2.
  •  
3.
  •  
4.
  •  
5.
  •  
6.
  •  
7.
  •  
8.
  • Abdulla, Parosh Aziz, et al. (författare)
  • Regular Model Checking for LTL(MSO)
  • 2004
  • Ingår i: Proc. 16th Int. Conf. on Computer Aided Verification, LNCS.
  • Tidskriftsartikel (refereegranskat)
  •  
9.
  •  
10.
  •  
Skapa referenser, mejla, bekava och länka
Åtkomst
fritt online (4)
Typ av publikation
tidskriftsartikel (1455)
annan publikation (889)
bokkapitel (77)
recension (3)
konferensbidrag (3)
samlingsverk (redaktörskap) (1)
visa fler...
visa färre...
Typ av innehåll
refereegranskat (1453)
övrigt vetenskapligt (975)
Författare/redaktör
Ahuja, R, (46)
Långström, Bengt, (35)
Ehrenberg, Måns, (28)
Johansson, B. (27)
Larsson, Anders, (20)
Leijon, Mats, (20)
visa fler...
Larsson, Rolf, (18)
Artursson, Per, (18)
Jacobson, Staffan, (17)
Abrikosov, I. A. (16)
Björneholm, O. (15)
Ellegren, Hans, (15)
Hjalmarsson, Anders (15)
Conroy, Sean, (15)
Ericsson, Göran, (15)
Källne, Jan, (15)
Öhrwall, G. (14)
Schiessling, J., (14)
Schnadt, J. (14)
Roos, Arne, (13)
Brühwiler, P. A. (13)
Lind, Lars, (12)
Chattopadhyaya, Jyot ... (12)
Karlén, Anders (12)
Nordgren, Joseph, (12)
Osorio-Guillen, J. M ... (12)
S. de Almeida, J. (12)
Li, S., (12)
Andersson, Pher G (12)
Hammarström, Leif, (11)
Olovsson, W., (11)
Tchaplyguine, M. (11)
Svensson, S, (11)
Westin, Gunnar (11)
Unge, Torsten (11)
Markides, Karin E. (11)
Korsgren, Olle, (11)
Nyholm, Leif, (11)
Giacomelli, Luca, (11)
Bergström, Mats, (11)
Pavlov, Michael (11)
Guo, Jinghua (11)
Gustafsson, Torbjörn ... (11)
Lazor, Peter, (11)
Johansson, Lars, (10)
Lindblad, A, (10)
Nyberg, Fred, (10)
Samuelsson, Bertil, (10)
Wäckelgård, Ewa (10)
Karlsson, Mats O, (10)
visa färre...
Lärosäte
Uppsala universitet (2428)
Högskolan Dalarna (5)
Umeå universitet (4)
Stockholms universitet (3)
Mälardalens högskola (2)
Språk

År

 
pil uppåt Stäng

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