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

Search: WFRF:(Fehnker A)

Sort/group result

Sort by: Hits per page:

Enumeration	Reference	Cover	Find
1.	Amnell, T, et al. (author) Now, Next, and Future 2001 In: Modelling and Verification of Parallel Processes (MOVEP'2k), Nantes, France June 19 to 23, 2000. LNCS Tutorial 2067.. ; , s. 100-125 Conference paper (peer-reviewed)
2.	Behrmann, G, et al. (author) Efficient Guiding Towards Cost-Optimality in UPPAAL 2001 In: 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 Conference paper (peer-reviewed)
3.	Behrmann, G, et al. (author) Minimum-Cost Reachability for Priced Timed Automata 2001 In: 4th International Workwhop on Hybrid Systems: Computation and Control (HSCC'01). Rome, Italy, March 28 to 30, 2001. LNCS 2034. ; , s. 147-161 Conference paper (peer-reviewed)
4.	Larsen, K G, et al. (author) As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata 2001 In: 13th Conference on Computer Aided Verification, (CAV'01). 2001. LNCS 2102. Paris, France, July 18 to 23, 2001. ; , s. 493-505 Conference paper (peer-reviewed)

Skapa referenser, mejla, bekava och länka

Author/Editor: Behrmann, G (4); Fehnker, A (4); Hune, T (4); Larsen, K G (4); Pettersson, P (4); Romijn, J (3); show more...; 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); show less...

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