Inproceedings,
High-level fusion: Issues in developing a formal theory.
P. da Costa, K. Chang, K. Laskey, T. Levitt, and W. Sun.FUSION, page 1-8. IEEE, (2010)
Meta data
- BibTeX key
- conf/fusion/CostaCLL010
- entry type
- inproceedings
- booktitle
- FUSION
- year
- 2010
- pages
- 1-8
- publisher
- IEEE
- crossref
- conf/fusion/2010
- ee
- http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5711860
- isbn
- 978-0-9824438-1-1
- url
- http://dblp.uni-trier.de/db/conf/fusion/fusion2010.html#CostaCLL010
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/fusion/CostaCLL010
%A da Costa, Paulo Cesar G.
%A Chang, Kuo-Chu
%A Laskey, Kathryn B.
%A Levitt, Tod S.
%A Sun, Wei
%B FUSION
%D 2010
%I IEEE
%K
%P 1-8
%T High-level fusion: Issues in developing a formal theory.
%U http://dblp.uni-trier.de/db/conf/fusion/fusion2010.html#CostaCLL010
%@ 978-0-9824438-1-1
@inproceedings{conf/fusion/CostaCLL010,
added-at = {2023-12-13T02:05:13.000+0100},
author = {da Costa, Paulo Cesar G. and Chang, Kuo-Chu and Laskey, Kathryn B. and Levitt, Tod S. and Sun, Wei},
biburl = {https://www.bibsonomy.org/bibtex/2be981a2abd62469af5e08c815afe3932/admin},
booktitle = {FUSION},
crossref = {conf/fusion/2010},
ee = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5711860},
interhash = {7ab1d8020850b842ca0b166a0dc65caf},
intrahash = {be981a2abd62469af5e08c815afe3932},
isbn = {978-0-9824438-1-1},
keywords = {},
pages = {1-8},
publisher = {IEEE},
timestamp = {2023-12-13T02:05:13.000+0100},
title = {High-level fusion: Issues in developing a formal theory.},
url = {http://dblp.uni-trier.de/db/conf/fusion/fusion2010.html#CostaCLL010},
year = 2010
}