%0 Conference Paper %1 conf/iastedSEA/ZhangXQ04 %A Zhang, Yingzhou %A Xu, Baowen %A Qian, Ju %B IASTED Conf. on Software Engineering and Applications %D 2004 %E Hamza, M. H. %I IASTED/ACTA Press %K dblp %P 583-587 %T Modular monadic slicing of concurrent programs. %U http://dblp.uni-trier.de/db/conf/iastedSEA/iastedSEA2004.html#ZhangXQ04 %@ 0-88986-425-X

@inproceedings{conf/iastedSEA/ZhangXQ04, added-at = {2007-06-18T00:00:00.000+0200}, author = {Zhang, Yingzhou and Xu, Baowen and Qian, Ju}, biburl = {https://www.bibsonomy.org/bibtex/2b34d4dbb133996701ef9455675589477/dblp}, booktitle = {IASTED Conf. on Software Engineering and Applications}, crossref = {conf/iastedSEA/2004}, date = {2007-06-18}, description = {dblp}, editor = {Hamza, M. H.}, interhash = {1fcc17cbb945d0f31665e082af46a051}, intrahash = {b34d4dbb133996701ef9455675589477}, isbn = {0-88986-425-X}, keywords = {dblp}, pages = {583-587}, publisher = {IASTED/ACTA Press}, timestamp = {2007-07-16T13:40:39.000+0200}, title = {Modular monadic slicing of concurrent programs.}, url = {http://dblp.uni-trier.de/db/conf/iastedSEA/iastedSEA2004.html#ZhangXQ04}, year = 2004 }