%0 Conference Paper %1 conf/wrla/FadlisyahOA12 %A Fadlisyah, Muhammad %A Ölveczky, Peter Csaba %A Ábrahám, Erika %B WRLA %D 2012 %E Durán, Francisco %I Springer %K dblp %P 139-161 %T Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude. %U http://dblp.uni-trier.de/db/conf/wrla/wrla2012.html#FadlisyahOA12 %V 7571 %@ 978-3-642-34004-8

@inproceedings{conf/wrla/FadlisyahOA12, added-at = {2017-06-05T00:00:00.000+0200}, author = {Fadlisyah, Muhammad and Ölveczky, Peter Csaba and Ábrahám, Erika}, biburl = {https://www.bibsonomy.org/bibtex/26783d8f8ae0997dfbc954e078159c9b0/dblp}, booktitle = {WRLA}, crossref = {conf/wrla/2012}, editor = {Durán, Francisco}, ee = {https://doi.org/10.1007/978-3-642-34005-5_8}, interhash = {aa3d878fb580f3bcd21f2dd4054c66f7}, intrahash = {6783d8f8ae0997dfbc954e078159c9b0}, isbn = {978-3-642-34004-8}, keywords = {dblp}, pages = {139-161}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T23:58:09.000+0200}, title = {Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude.}, url = {http://dblp.uni-trier.de/db/conf/wrla/wrla2012.html#FadlisyahOA12}, volume = 7571, year = 2012 }