Concepedia
1
Publications
20
Citations
H-Index
2018
Active since
Affiliations
Aalborg University(Current)
Jakob Dyhr is an author at Aalborg University specializing in formal methods, process control, and computer science.
Top concepts
EngineeringFormal MethodsProcess ControlComputer Science
Publications per year
2018–2018
Stubborn versus structural reductions for Petri nets
Frederik Meyer Bønneland, Jakob Dyhr, Peter Gjøl Jensen et al. · Journal of Logical and Algebraic Methods in Programming · 2018 · 20 citations
Petri Net, Engineering, Reachability Problem +5
Rows per page
1–1 of 1