WADT 2024
Mon 8 Jul 2024
Enschede, Netherlands
co-located with
STAF 2024
Toggle navigation
Attending
Venue: University of Twente
STAF 2024
Accommodation
Registration
Conference Reception and Dinner
Previous editions
Program
WADT Program
Your Program
Mon 8 Jul
Tracks
WADT 2024
Research papers
STAF 2024
Keynotes
Organization
WADT 2024 Committees
Steering Committee
Programme Committee
Contributors
People Index
Search
Series
Sign in
Sign up
STAF 2024
(
series
) /
WADT 2024
(
series
) /
Blair Archibald
STAF 2024 profile
conf.research.org general profile
NASA Formal Methods 2023 profile
PPoPP 2020 profile
Registered user since Mon 20 Jan 2020
Name:
Blair Archibald
Country:
United Kingdom
Affiliation:
University of Glasgow
Contributions
2024
ICGT
A Bigraph Paper of Sorts
GCM
Modelling Real-time Systems with Bigraphs
Show activities from other conferences
Share
STAF 2024-profile
View general profile
x
Thu 21 Nov 14:29