Log in / Register

Jiri Srba

  • Overview
  • Code
  • Bugs
  • Blueprints
  • Translations
  • Answers
  • Related packages
  • Related projects

User information

Launchpad Id:
srba
Email:
Log in for email information.

Member since:
2006-05-29
Icon of TAPAAL Contributors Icon of TAPAAL Developers Icon of TAPAAL Maintainers
SSH keys:
srba@h36.net.klient.slv.site.aau.dk
srba@h231.k1.cs.aau.dk
srba@h178.net.klient.slv.site.aau.dk
srba@h178.net.klient.slv.site.aau.dk
srba@jiri-srbas-ima c.local
srba@h10165.eduroam-5.wlan.aalborguniversitet.dk
srba@srba-VirtualBo x
srba@compute1
srba@h506.aau1x-2.klient.slv.site.aau.dk
srba@h506.aau1x-2.klient.slv.site.aau.dk
srba@srba-VirtualBo x
srba@h12132.eduroam-5.wlan.aalborguniversitet.dk
srba@srba-VirtualBox
srba@srba-VirtualBo x
srba@js-mbp-arm.lan
Languages:
English
Time zone:
Europe/Copenhagen (UTC+0200)
Karma:
5545 Karma help

All memberships Latest memberships

tapaal-red
Joined on 2021-09-23
verifypn-wf
Joined on 2020-10-27
tapaal-ltl
Joined on 2019-09-06
cpn-gui
Joined on 2018-09-20
verifypn-cpn
Joined on 2018-02-02

Recent activities Most active in

TAPAAL
Launchpad  •  Take the tour  •  Read the guide  
© 2004-2023 Canonical Ltd.  •  Terms of use  •  Data privacy  •  Contact Launchpad Support  •  Blog  •  Careers  •  System status  •  620cd52 (Get the code!)