Träfflista för sökning "WFRF:(Fehnker A) "

Sökning: WFRF:(Fehnker A)

Sortera/gruppera träfflistan

Sortering: Träffar per sida:

Numrering	Referens	Omslagsbild	Hitta
1.	Amnell, T, et al. (författare) Now, Next, and Future 2001 Ingår i: Modelling and Verification of Parallel Processes (MOVEP'2k), Nantes, France June 19 to 23, 2000. LNCS Tutorial 2067.. ; , s. 100-125 Konferensbidrag (refereegranskat)
2.	Behrmann, G, et al. (författare) Efficient Guiding Towards Cost-Optimality in UPPAAL 2001 Ingår i: 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'01). Genova, Italy, April 2 to 6, 2001. LNCS 2031. ; , s. 174-188 Konferensbidrag (refereegranskat)
3.	Behrmann, G, et al. (författare) Minimum-Cost Reachability for Priced Timed Automata 2001 Ingår i: 4th International Workwhop on Hybrid Systems: Computation and Control (HSCC'01). Rome, Italy, March 28 to 30, 2001. LNCS 2034. ; , s. 147-161 Konferensbidrag (refereegranskat)
4.	Larsen, K G, et al. (författare) As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata 2001 Ingår i: 13th Conference on Computer Aided Verification, (CAV'01). 2001. LNCS 2102. Paris, France, July 18 to 23, 2001. ; , s. 493-505 Konferensbidrag (refereegranskat)

Skapa referenser, mejla, bekava och länka

Författare/redaktör: Behrmann, G (4); Fehnker, A (4); Hune, T (4); Larsen, K G (4); Pettersson, P (4); Romijn, J (3); visa fler...; David, A (1); Bengtsson, J (1); Amnell, T (1); D'Argenio, P R (1); Jeannet, B (1); Möller, O (1); Weise, C (1); Yi, W. (1); Vaandrager, F (1); Brinksma, E (1); visa färre...

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