Philipp J Meyer

1PUBLICATIONS
3CO-AUTHORS
Computational logic and formal languages
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Dec 06, 2021
Towards efficient verification of population protocols.

Michael Blondin, Javier Esparza, Stefan Jaax

Pageof 1

Frequent Collaborators

1 joint publications

Michael Blondin

1 joint publications

Javier Esparza

1 joint publications

Stefan Jaax