unset title
>
Event_plural
>
Towards parallel verification of concurrent systems
login
login
password
log in
cancel
search
actions - event
state: published
Towards parallel verification of concurrent systems
old_uid
17146
title
Towards parallel verification of concurrent systems
start_date
2019/01/15
schedule
12h15
online
no
location_info
salle A303
responsibles
Lacroix
hosted_by
Laboratoire d'Informatique de Paris Nord - LIPN
speakers
Ouni
event_of
Informatique de Paris Nord, (séminaire du laboratoire d’- (LIPN), UMR 7030 CNRS, Université Paris 13) (2018)