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

Sort/group result

Sort by: Hits per page:

Enumeration	Reference	Cover	Find
1.	Behrmann, Gerd, et al. (author) New UPPAAL Architecture 2002 In: Workshop on Real-Time Tools. Conference paper (peer-reviewed)
2.	Behrmann Gerd,, et al. (author) UPPAAL Implementation Secrets 2002 In: International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems. ; , s. 3- Conference paper (peer-reviewed)
3.	David, Alexandre, et al. (author) A Tool Architecture for the Next Generation of Uppaal 2002 In: Formal Methods at the Crossroads. From Panacea to Foundational Support. - : Springer. - 3540205276 ; , s. 352-366 Book chapter (peer-reviewed)

Skapa referenser, mejla, bekava och länka

Author/Editor: 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.

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