Search Results

AUTHOR:	`LUDOVIC HENRIO`
Found 1 entry

On Reachability in Parameterized Phaser Programs
Zeinab Ganjei, Ahmed Rezine, Ludovic Henrio, Petru Eles, Zebo Peng
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2019

( ! ) perl script by Giovanni Squillero with modifications from Gert Jervan (v3.1, p5.2, September-2002-)