Peter Gjøl Jensen in Launchpad

Peter Gjøl Jensen

User information

Launchpad Id:: peter-gjoel

Email:: Log in for email information.

Member since:: 2009-05-18

Languages:: English

SSH keys:: peter.gjoel@gmail.com

Time zone:: UTC (UTC+0000)

Karma:: 0 Karma help

All bugs in progress Assigned bugs

	#1795866 Not finding the fastest trace
in TAPAAL

All memberships Latest memberships

tapaal-red Joined on 2021-09-23
verifypn-wf Joined on 2020-10-27
VerifyPN Maintainers Joined on 2020-03-13
tapaal-ltl Joined on 2019-09-06
verifypn-cpn Joined on 2018-02-02