%0 Journal Article %1 journals/jsa/AntonisV08 %A Antonis, Konstantinos %A Voros, Nikos S. %D 2008 %J Journal of Systems Architecture - Embedded Systems Design %K dblp %N 1-2 %P 287-304 %T System level design of telecom systems using formal model refinement: Applying the B method/language in practice. %U http://dblp.uni-trier.de/db/journals/jsa/jsa54.html#AntonisV08 %V 54

@article{journals/jsa/AntonisV08, added-at = {2009-03-06T00:00:00.000+0100}, author = {Antonis, Konstantinos and Voros, Nikos S.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2bfe0be92d5f69f0ba53bca7967941ea4/dblp}, ee = {http://dx.doi.org/10.1016/j.sysarc.2007.07.001}, interhash = {f75da73d4abbaa9f34747d162f877334}, intrahash = {bfe0be92d5f69f0ba53bca7967941ea4}, journal = {Journal of Systems Architecture - Embedded Systems Design}, keywords = {dblp}, number = {1-2}, pages = {287-304}, timestamp = {2016-02-02T03:42:01.000+0100}, title = {System level design of telecom systems using formal model refinement: Applying the B method/language in practice.}, url = {http://dblp.uni-trier.de/db/journals/jsa/jsa54.html#AntonisV08}, volume = 54, year = 2008 }