Publikationer pr. år
Publikationer pr. år
- 6 resultater
Søgeresultater
-
2008
Special Section on Coloured Petri Nets
Jensen, K. (Redaktør), 2008, I: International Journal on Software Tools for Technology Transfer. 10, 1, s. 1-110 110 s.Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Leder
-
2007
Special Section on Coloured Petri Nets
Jensen, K., 2007, I: International Journal on Software Tools for Technology Transfer. 9, 3-4, s. 209-411 202 s.Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Leder
-
2006
Special Section on "Tools and Algorithms for the Construction and Analysis of Systems"
Jensen, K. (Redaktør) & Podelski, A. (Redaktør), 2006, I: International Journal on Software Tools for Technology Transfer. 8, 3, s. 177-299 123 s.Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Leder
-
2005
Special section on: Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2004: Barcelona, Spain, March 29 - April 2, 2004, Proceedings. Part of ETAPS 2004
Jensen, K. (Redaktør) & Podelski, A. (Redaktør), 2005, I: Theoretical Computer Science. 345, 1, s. 1-170 170 s.Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Leder
-
2001
Special Section on Practical Use of High-level Petri Nets
Jensen, K. (Redaktør), 2001, I: International Journal on Software Tools for Technology Transfer. 3, 4, s. 369-430 61 s.Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Leder
-
1998
Special Section on Coloured Petri Nets
Jensen, K. (Redaktør), 1998, I: International Journal on Software Tools for Technology Transfer. 2, 2, s. 95-191 96 s.Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Leder