Login / Signup

A Decision Procedure for Bisimilarity of Generalized Regular Expressions.

Marcello M. BonsangueGeorgiana CaltaisEugen-Ioan GoriacDorel LucanuJan J. M. M. RuttenAlexandra Silva
Published in: SBMF (2010)
Keyphrases