%0 Journal Article %1 journals/fmsd/TalpinG06 %A Talpin, Jean-Pierre %A Guernic, Paul Le %D 2006 %J Formal Methods in System Design %K dblp %N 2 %P 131-151 %T An algebraic theory for behavioral modeling and protocol synthesis in system design. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd28.html#TalpinG06 %V 28

@article{journals/fmsd/TalpinG06, added-at = {2007-02-08T00:00:00.000+0100}, author = {Talpin, Jean-Pierre and Guernic, Paul Le}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2452db64414921e261f29f9580f0442aa/dblp}, ee = {http://dx.doi.org/10.1007/s10703-006-7845-7}, interhash = {9daffd54235f7b0c85c815dadbd2daf9}, intrahash = {452db64414921e261f29f9580f0442aa}, journal = {Formal Methods in System Design}, keywords = {dblp}, number = 2, pages = {131-151}, timestamp = {2016-02-02T01:14:20.000+0100}, title = {An algebraic theory for behavioral modeling and protocol synthesis in system design.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd28.html#TalpinG06}, volume = 28, year = 2006 }