%0 Conference Paper %1 conf/asm/BanachPJS05 %A Banach, Richard %A Poppleton, Michael %A Jeske, Czeslaw %A Stepney, Susan %B Abstract State Machines %D 2005 %K dblp %P 41-48 %T Retrenchment and the Mondex Electronic Purse. %U http://dblp.uni-trier.de/db/conf/asm/asm2005.html#BanachPJS05

@inproceedings{conf/asm/BanachPJS05, added-at = {2007-07-26T00:00:00.000+0200}, author = {Banach, Richard and Poppleton, Michael and Jeske, Czeslaw and Stepney, Susan}, biburl = {https://www.bibsonomy.org/bibtex/2a2636e61c0742c509a63f44f857431b8/dblp}, booktitle = {Abstract State Machines}, crossref = {conf/asm/2005}, date = {2007-07-26}, description = {dblp}, ee = {http://www.univ-paris12.fr/lacl/dima/asm05/ret.asm.mondex.short.ps}, interhash = {55343b4ef0ccf656bccf56a02b9c4678}, intrahash = {a2636e61c0742c509a63f44f857431b8}, keywords = {dblp}, pages = {41-48}, timestamp = {2007-08-07T09:38:44.000+0200}, title = {Retrenchment and the Mondex Electronic Purse.}, url = {http://dblp.uni-trier.de/db/conf/asm/asm2005.html#BanachPJS05}, year = 2005 }