Träfflista för sökning "WFRF:(Behrmann Gerd) srt2:(2002)"

Sortera/gruppera träfflistan

Sortering: Träffar per sida:

Numrering	Referens	Omslagsbild	Hitta
1.	Behrmann, Gerd, et al. (författare) New UPPAAL Architecture 2002 Ingår i: Workshop on Real-Time Tools. Konferensbidrag (refereegranskat)
2.	Behrmann Gerd,, et al. (författare) UPPAAL Implementation Secrets 2002 Ingår i: International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems. ; , s. 3- Konferensbidrag (refereegranskat)
3.	David, Alexandre, et al. (författare) A Tool Architecture for the Next Generation of Uppaal 2002 Ingår i: Formal Methods at the Crossroads. From Panacea to Foundational Support. - : Springer. - 3540205276 ; , s. 352-366 Bokkapitel (refereegranskat)

Skapa referenser, mejla, bekava och länka

Författare/redaktör: Yi, Wang (3); David, Alexandre (3); Behrmann, Gerd (3); Larsen, Kim (3); Pettersson, Paul (1); Bengtsson, Johan (1)

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.

Stäng

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