Inproceedings,
Cancer treatment planning: formal methods to the rescue.
J. Mathe, J. Sztipanovits, M. Levy, E. Jackson, and W. Schulte.SEHC@ICSE, page 19-25. IEEE Computer Society, (2012)
Meta data
- BibTeX key
- conf/icse/MatheSLJS12
- entry type
- inproceedings
- booktitle
- SEHC@ICSE
- year
- 2012
- pages
- 19-25
- publisher
- IEEE Computer Society
- crossref
- conf/icse/2012sehc
- ee
- http://dl.acm.org/citation.cfm?id=2667040
- isbn
- 978-1-4673-1843-3
- url
- http://dblp.uni-trier.de/db/conf/icse/sehc2012.html#MatheSLJS12
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/icse/MatheSLJS12
%A Mathe, Janos L.
%A Sztipanovits, Janos
%A Levy, Mia A.
%A Jackson, Ethan K.
%A Schulte, Wolfram
%B SEHC@ICSE
%D 2012
%E Breu, Ruth
%E Hatcliff, John
%I IEEE Computer Society
%K
%P 19-25
%T Cancer treatment planning: formal methods to the rescue.
%U http://dblp.uni-trier.de/db/conf/icse/sehc2012.html#MatheSLJS12
%@ 978-1-4673-1843-3
@inproceedings{conf/icse/MatheSLJS12,
added-at = {2023-12-12T17:30:04.000+0100},
author = {Mathe, Janos L. and Sztipanovits, Janos and Levy, Mia A. and Jackson, Ethan K. and Schulte, Wolfram},
biburl = {https://www.bibsonomy.org/bibtex/29e52fee35feeae4d417bee4febc2b2f9/admin},
booktitle = {SEHC@ICSE},
crossref = {conf/icse/2012sehc},
editor = {Breu, Ruth and Hatcliff, John},
ee = {http://dl.acm.org/citation.cfm?id=2667040},
interhash = {0490b987ad4d67a7018f91d3050491ac},
intrahash = {9e52fee35feeae4d417bee4febc2b2f9},
isbn = {978-1-4673-1843-3},
keywords = {},
pages = {19-25},
publisher = {IEEE Computer Society},
timestamp = {2023-12-12T17:30:04.000+0100},
title = {Cancer treatment planning: formal methods to the rescue.},
url = {http://dblp.uni-trier.de/db/conf/icse/sehc2012.html#MatheSLJS12},
year = 2012
}