Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 conf/sas/DimovskiGL05
%A Dimovski, Aleksandar
%A Ghica, Dan R.
%A Lazic, Ranko
%B SAS
%D 2005
%E Hankin, Chris
%E Siveroni, Igor
%I Springer
%K
%P 102-117
%T Data-Abstraction Refinement: A Game Semantic Approach.
%U http://dblp.uni-trier.de/db/conf/sas/sas2005.html#DimovskiGL05
%V 3672
%@ 3-540-28584-9
@inproceedings{conf/sas/DimovskiGL05,
added-at = {2023-12-13T07:23:47.000+0100},
author = {Dimovski, Aleksandar and Ghica, Dan R. and Lazic, Ranko},
biburl = {https://www.bibsonomy.org/bibtex/24922cb4af71d0b1996a8841db619576a/admin},
booktitle = {SAS},
crossref = {conf/sas/2005},
editor = {Hankin, Chris and Siveroni, Igor},
ee = {https://doi.org/10.1007/11547662_9},
interhash = {b8773a3ec32abd808b2507a3dfa310e6},
intrahash = {4922cb4af71d0b1996a8841db619576a},
isbn = {3-540-28584-9},
keywords = {},
pages = {102-117},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2023-12-13T07:23:47.000+0100},
title = {Data-Abstraction Refinement: A Game Semantic Approach.},
url = {http://dblp.uni-trier.de/db/conf/sas/sas2005.html#DimovskiGL05},
volume = 3672,
year = 2005
}