Search Results

AUTHOR:	`PIERRE GANTY`
Found 1 entry

Ordered Counter Abstraction (Refinable Subword Relations for Parameterized Verification)
Pierre Ganty, Ahmed Rezine
8th International Conference on Language and Automata Theory and Applications (LATA 2014), Madrid, Spain, March 10-14, 2014.

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