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.
  • 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)
  •  
6.
  •  
7.
  • Abdulla, Parosh, et al. (författare)
  • Eager Markov Chains
  • 2006
  • Ingår i: Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA 2006). ; s. 24-38
  • Bokkapitel (övrigt vetenskapligt)
  •  
8.
  •  
9.
  •  
10.
  •  
Skapa referenser, mejla, bekava och länka
Åtkomst
fritt online (4)
Typ av publikation
tidskriftsartikel (1091)
bokkapitel (73)
recension (3)
konferensbidrag (3)
samlingsverk (redaktörskap) (1)
Typ av innehåll
refereegranskat (1090)
övrigt vetenskapligt (81)
Författare/redaktör
Ahuja, R, (22)
Johansson, B. (16)
Långström, Bengt, (16)
Larsson, Anders, (12)
Chattopadhyaya, Jyot ... (11)
Öhrwall, G. (9)
visa fler...
Björneholm, O. (9)
Artursson, Per, (9)
Osorio-Guillen, J. M ... (9)
Hagersten, Erik, (9)
Matsson, Ingvar, (9)
Ehrenberg, Måns, (8)
Tchaplyguine, M. (8)
Norbäck, Dan, (8)
S. de Almeida, J. (8)
Strömme, Maria, (8)
Andersson, Pher G (8)
Hjalmarsson, Anders (8)
Conroy, Sean, (8)
Ericsson, Göran, (8)
Källne, Jan, (8)
Lindblad, A, (7)
Svensson, S, (7)
J, Chattopadhyaya (7)
Nyberg, Fred, (7)
Ellegren, Hans, (7)
Ståhle, Elisabeth (7)
André, Mats, (7)
Westin, Gunnar (7)
Roomans, Godfried M. ... (7)
Markides, Karin E. (7)
Gorini, Giuseppe (7)
Stolt, Lars, (7)
Kopniczky, J, (7)
Lundwall, M (7)
Sandberg, Sven, (6)
Ingemarsson, A. (6)
Abrikosov, I. A. (6)
Bergersen, H (6)
Rander, T (6)
Karlén, Anders (6)
Li, S., (6)
Nilsson, Gunnar (6)
Unge, Torsten (6)
Thottappillil, Rajee ... (6)
Nyholm, Leif, (6)
Tardocchi, Marco (6)
Giacomelli, Luca, (6)
Coadou, Yann, (6)
Eriksson, Leif A., (6)
visa färre...
Lärosäte
Uppsala universitet (1171)
Högskolan Dalarna (5)
Umeå universitet (4)
Stockholms universitet (3)
Mälardalens högskola (2)
Linköpings universitet (1)
visa fler...
Karlstads universitet (1)
visa färre...
Språk

År

 
pil uppåt Stäng

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