%0 Conference Paper %1 conf/fase/Sucrow98 %A Sucrow, Bettina %B FASE %D 1998 %E Astesiano, Egidio %I Springer %K dblp %P 302-317 %T Refining Formal Specifications of Human Computer Interaction by Graph Rewrite Rules. %U http://dblp.uni-trier.de/db/conf/fase/fase98.html#Sucrow98 %V 1382 %@ 3-540-64303-6

@inproceedings{conf/fase/Sucrow98, added-at = {2019-08-08T00:00:00.000+0200}, author = {Sucrow, Bettina}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d32c565bdba2f88bf51c224ffbcb0a4e/dblp}, booktitle = {FASE}, crossref = {conf/fase/1998}, editor = {Astesiano, Egidio}, ee = {https://doi.org/10.1007/BFb0053598}, interhash = {b97937586a81760cd68d8140765fb446}, intrahash = {d32c565bdba2f88bf51c224ffbcb0a4e}, isbn = {3-540-64303-6}, keywords = {dblp}, pages = {302-317}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T18:50:23.000+0200}, title = {Refining Formal Specifications of Human Computer Interaction by Graph Rewrite Rules.}, url = {http://dblp.uni-trier.de/db/conf/fase/fase98.html#Sucrow98}, volume = 1382, year = 1998 }