Authenticus:P-009-PPG | CMUP

Partial Derivative and Position Bisimilarity Automata

Implementation and Application of Automata, Ciaa 2014 | 2014 | inproceedings

Publication

Year of publication: 2014

Volume : 8587

Pages : 264-277

Month :

CMUP publication : Yes

Authors

E Maia