Kenneth Yrke Jørgensen

	2012
4		Alexandre David, Lasse Jacobsen, Morten Jacobsen, Kenneth Yrke Jørgensen, Mikael H. Møller, Jirí Srba: TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets. TACAS 2012: 492-497
	2011
3		Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Kenneth Yrke Jørgensen, Kim Guldstrand Larsen, Mads Chr. Olesen, Petur Olsen, Jirí Srba: opaal: A Lattice Model Checker. NASA Formal Methods 2011: 487-493
	2009
2		Joakim Byg, Kenneth Yrke Jørgensen, Jirí Srba: TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets. ATVA 2009: 84-89
1		Joakim Byg, Kenneth Yrke Jørgensen, Jirí Srba: An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata. ICFEM 2009: 698-716

Coauthor Index

1	Joakim Byg	[1] [2]
2	Andreas Engelbredt Dalsgaard	[3]
3	Alexandre David	[4]
4	René Rydhof Hansen	[3]
5	Lasse Jacobsen	[4]
6	Morten Jacobsen	[4]
7	Kim Guldstrand Larsen (Kim G. Larsen)	[3]
8	Mikael H. Møller	[4]
9	Mads Chr. Olesen	[3]
10	Petur Olsen	[3]
11	Jirí Srba	[1] [2] [3] [4]

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page