%0 Conference Paper %1 conf/asm/SorgePB10 %A Sorge, Jennifer %A Poppleton, Michael %A Butler, Michael J. %B ASM %D 2010 %E Frappier, Marc %E Glässer, Uwe %E Khurshid, Sarfraz %E Laleau, Régine %E Reeves, Steve %I Springer %K dblp %P 409 %T A Basis for Feature-Oriented Modelling in Event-B. %U http://dblp.uni-trier.de/db/conf/asm/abz2010.html#SorgePB10 %V 5977 %@ 978-3-642-11810-4

@inproceedings{conf/asm/SorgePB10, added-at = {2019-06-02T00:00:00.000+0200}, author = {Sorge, Jennifer and Poppleton, Michael and Butler, Michael J.}, biburl = {https://www.bibsonomy.org/bibtex/28e130e112a62f0758bdd408bd7963af4/dblp}, booktitle = {ASM}, crossref = {conf/asm/2010}, editor = {Frappier, Marc and Glässer, Uwe and Khurshid, Sarfraz and Laleau, Régine and Reeves, Steve}, ee = {https://www.wikidata.org/entity/Q59625901}, interhash = {755fe0b6c4abc2c71078cf4441675a02}, intrahash = {8e130e112a62f0758bdd408bd7963af4}, isbn = {978-3-642-11810-4}, keywords = {dblp}, pages = 409, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T14:26:32.000+0200}, title = {A Basis for Feature-Oriented Modelling in Event-B.}, url = {http://dblp.uni-trier.de/db/conf/asm/abz2010.html#SorgePB10}, volume = 5977, year = 2010 }