Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Jens Baek Jorgensen

Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller

English