Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/synasc/Sofronie-Stokkermans14
%A Sofronie-Stokkermans, Viorica
%B SYNASC
%D 2014
%E Winkler, Franz
%E Negru, Viorel
%E Ida, Tetsuo
%E Jebelean, Tudor
%E Petcu, Dana
%E Watt, Stephen M.
%E Zaharie, Daniela
%I IEEE Computer Society
%K dblp
%P 34-41
%T Hierarchical Reasoning in Local Theory Extensions and Applications.
%U http://dblp.uni-trier.de/db/conf/synasc/synasc2014.html#Sofronie-Stokkermans14
%@ 978-1-4799-8448-0
@inproceedings{conf/synasc/Sofronie-Stokkermans14,
added-at = {2023-03-24T00:00:00.000+0100},
author = {Sofronie-Stokkermans, Viorica},
biburl = {https://www.bibsonomy.org/bibtex/2713b9646c809bd9a18149291c79f784a/dblp},
booktitle = {SYNASC},
crossref = {conf/synasc/2014},
editor = {Winkler, Franz and Negru, Viorel and Ida, Tetsuo and Jebelean, Tudor and Petcu, Dana and Watt, Stephen M. and Zaharie, Daniela},
ee = {https://doi.ieeecomputersociety.org/10.1109/SYNASC.2014.13},
interhash = {e9923b1d9893082448f654ffa22518f2},
intrahash = {713b9646c809bd9a18149291c79f784a},
isbn = {978-1-4799-8448-0},
keywords = {dblp},
pages = {34-41},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T19:14:24.000+0200},
title = {Hierarchical Reasoning in Local Theory Extensions and Applications.},
url = {http://dblp.uni-trier.de/db/conf/synasc/synasc2014.html#Sofronie-Stokkermans14},
year = 2014
}