%0 Conference Paper %1 conf/csfw/MantelS01 %A Mantel, Heiko %A Sabelfeld, Andrei %B CSFW %D 2001 %I IEEE Computer Society %K dblp %P 126-142 %T A Generic Approach to the Security of Multi-Threaded Programs. %U http://dblp.uni-trier.de/db/conf/csfw/csfw2001.html#MantelS01 %@ 0-7695-1146-5

@inproceedings{conf/csfw/MantelS01, added-at = {2023-03-24T00:00:00.000+0100}, author = {Mantel, Heiko and Sabelfeld, Andrei}, biburl = {https://www.bibsonomy.org/bibtex/25bc510e10442ef09216a46e056c2f4cf/dblp}, booktitle = {CSFW}, crossref = {conf/csfw/2001}, ee = {https://doi.ieeecomputersociety.org/10.1109/CSFW.2001.930142}, interhash = {68157bae59faeba8200a426a266f85d4}, intrahash = {5bc510e10442ef09216a46e056c2f4cf}, isbn = {0-7695-1146-5}, keywords = {dblp}, pages = {126-142}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T11:43:02.000+0200}, title = {A Generic Approach to the Security of Multi-Threaded Programs.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csfw2001.html#MantelS01}, year = 2001 }