Hands-On Protocol Verification

Termine

Terminkategorie

Bi-weekly meeting

Titel

Intro session 2

Ort

2.22 

Details

1. introduction to applied pi and modelling considerations
2. discuss and decide projects.
 

Startzeit

20.11.2018 12:15

Endzeit

20.11.2018 14:15

den ganzen Tag

No