%0 Conference Paper %1 conf/fase/MiliSLME06 %A Mili, Hafedh %A Sahraoui, Houari A. %A Lounis, Hakim %A Mcheick, Hamid %A Elkharraz, Amel %B FASE %D 2006 %E Baresi, Luciano %E Heckel, Reiko %I Springer %K SoC formal %P 247-261 %T Concerned About Separation. %U http://dblp.uni-trier.de/db/conf/fase/fase2006.html#MiliSLME06 %V 3922 %@ 3-540-33093-3

@inproceedings{conf/fase/MiliSLME06, added-at = {2008-11-10T19:54:08.000+0100}, author = {Mili, Hafedh and Sahraoui, Houari A. and Lounis, Hakim and Mcheick, Hamid and Elkharraz, Amel}, biburl = {https://www.bibsonomy.org/bibtex/2ccea06b69f6d5aea400136290f81c409/ericbouwers}, booktitle = {FASE}, crossref = {conf/fase/2006}, date = {2006-04-05}, editor = {Baresi, Luciano and Heckel, Reiko}, ee = {http://dx.doi.org/10.1007/11693017_19}, interhash = {88a13a8d6d8f114b04bfd5e8571874c9}, intrahash = {ccea06b69f6d5aea400136290f81c409}, isbn = {3-540-33093-3}, keywords = {SoC formal}, pages = {247-261}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2009-04-23T10:36:37.000+0200}, title = {Concerned About Separation.}, url = {http://dblp.uni-trier.de/db/conf/fase/fase2006.html#MiliSLME06}, volume = 3922, year = 2006 }