%0 Conference Paper %1 conf/icfem/DammagN03 %A Dammag, Hamdan %A Nissanke, Nimal %B ICFEM %D 2003 %E Dong, Jin Song %E Woodcock, Jim %I Springer %K dblp %P 620-640 %T A Mathematical Framework for Safecharts. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2003.html#DammagN03 %V 2885 %@ 3-540-20461-X

@inproceedings{conf/icfem/DammagN03, added-at = {2017-05-21T00:00:00.000+0200}, author = {Dammag, Hamdan and Nissanke, Nimal}, biburl = {https://www.bibsonomy.org/bibtex/259b4eef45255c5c2c62fdf1ff5499382/dblp}, booktitle = {ICFEM}, crossref = {conf/icfem/2003}, editor = {Dong, Jin Song and Woodcock, Jim}, ee = {https://doi.org/10.1007/978-3-540-39893-6_35}, interhash = {bb3a207279f6ccdcafb58e803beb84be}, intrahash = {59b4eef45255c5c2c62fdf1ff5499382}, isbn = {3-540-20461-X}, keywords = {dblp}, pages = {620-640}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:19:41.000+0200}, title = {A Mathematical Framework for Safecharts.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2003.html#DammagN03}, volume = 2885, year = 2003 }