Uffe Engberg is an author at Aarhus University specializing in formal verification, engineering, and automated reasoning.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationFormal SpecificationSemanticsSystems EngineeringParallel Programming
Publications per year
1986–1997
3
3
A Calculus of Communicating Systems with Label Passing
Uffe Engberg, Mogens Nielsen · DAIMI Report Series · 1986 · 101 citations · Full text
Petri Nets as Models of Linear Logic
Uffe Engberg, Glynn Winskel · DAIMI Report Series · 1990 · 22 citations · Full text
Rows per page
1–3 of 3