%0 Conference Paper %1 conf/europar/Minas95 %A Minas, Mark %B Euro-Par %D 1995 %E Haridi, Seif %E Ali, Khayri A. M. %E Magnusson, Peter %I Springer %K %P 403-414 %T Detecting Quantified Global Predicates in Parallel Programs. %U http://dblp.uni-trier.de/db/conf/europar/europar95.html#Minas95 %V 966 %@ 3-540-60247-X

@inproceedings{conf/europar/Minas95, added-at = {2023-12-13T02:18:17.000+0100}, author = {Minas, Mark}, biburl = {https://www.bibsonomy.org/bibtex/2ecfa361818e3e3b84d32d063658410d1/admin}, booktitle = {Euro-Par}, crossref = {conf/europar/1995}, editor = {Haridi, Seif and Ali, Khayri A. M. and Magnusson, Peter}, ee = {https://doi.org/10.1007/BFb0020481}, interhash = {7d76567c000ceb62592d8c0ef25ea964}, intrahash = {ecfa361818e3e3b84d32d063658410d1}, isbn = {3-540-60247-X}, keywords = {}, pages = {403-414}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T02:18:17.000+0100}, title = {Detecting Quantified Global Predicates in Parallel Programs.}, url = {http://dblp.uni-trier.de/db/conf/europar/europar95.html#Minas95}, volume = 966, year = 1995 }