%0 Conference Paper %1 journals/entcs/IzadiM09 %A Izadi, Mohammad %A Movaghar, Ali %B AVoCS %D 2007 %E Goldsmith, Michael %E Roscoe, Bill %I Elsevier %K dblp %N 1 %P 105-122 %T Compositional Failure-based Equivalence of Constraint Automata. %U http://dblp.uni-trier.de/db/conf/avocs/avocs2007.html#IzadiM09 %V 250

@inproceedings{journals/entcs/IzadiM09, added-at = {2023-02-24T00:00:00.000+0100}, author = {Izadi, Mohammad and Movaghar, Ali}, biburl = {https://www.bibsonomy.org/bibtex/2bd9684800ce52195fdaf28b75c3b1eaa/dblp}, booktitle = {AVoCS}, crossref = {conf/avocs/2007}, editor = {Goldsmith, Michael and Roscoe, Bill}, ee = {https://www.wikidata.org/entity/Q57835395}, interhash = {409f608ac1dae5a35d44780bb164dbb3}, intrahash = {bd9684800ce52195fdaf28b75c3b1eaa}, keywords = {dblp}, number = 1, pages = {105-122}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T19:24:04.000+0200}, title = {Compositional Failure-based Equivalence of Constraint Automata.}, url = {http://dblp.uni-trier.de/db/conf/avocs/avocs2007.html#IzadiM09}, volume = 250, year = 2007 }