Laura Kovács

1PUBLICATIONS
3CO-AUTHORS
Probability theory
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Dec 04, 2023
The probabilistic termination tool amber.

Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen

Pageof 1

Frequent Collaborators

1 joint publications

Marcel Moosbrugger

1 joint publications

Ezio Bartocci

1 joint publications

Joost-Pieter Katoen