Francesco Spegni

1PUBLICATIONS
0CO-AUTHORS
Integrable systems (classical and quantum)
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Jul 02, 2019
Parameterized model checking of rendezvous systems.

Benjamin Aminof, Tomer Kotek, Sasha Rubin

Pageof 1

Frequent Collaborators