author_facet Roth, Michael
Kasperek, Daniel
Lindemann, Udo
Roth, Michael
Kasperek, Daniel
Lindemann, Udo
author Roth, Michael
Kasperek, Daniel
Lindemann, Udo
spellingShingle Roth, Michael
Kasperek, Daniel
Lindemann, Udo
Procedia Computer Science
Verifying the Abstraction Level of Structural Models
General Medicine
author_sort roth, michael
spelling Roth, Michael Kasperek, Daniel Lindemann, Udo 1877-0509 Elsevier BV General Medicine http://dx.doi.org/10.1016/j.procs.2014.03.061 Verifying the Abstraction Level of Structural Models Procedia Computer Science
doi_str_mv 10.1016/j.procs.2014.03.061
facet_avail Online
Free
format ElectronicArticle
fullrecord blob:ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTAxNi9qLnByb2NzLjIwMTQuMDMuMDYx
id ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTAxNi9qLnByb2NzLjIwMTQuMDMuMDYx
institution DE-Gla1
DE-Zi4
DE-15
DE-Pl11
DE-Rs1
DE-105
DE-14
DE-Ch1
DE-L229
DE-D275
DE-Bn3
DE-Brt1
DE-Zwi2
DE-D161
imprint Elsevier BV, 2014
imprint_str_mv Elsevier BV, 2014
issn 1877-0509
issn_str_mv 1877-0509
language English
mega_collection Elsevier BV (CrossRef)
match_str roth2014verifyingtheabstractionlevelofstructuralmodels
publishDateSort 2014
publisher Elsevier BV
recordtype ai
record_format ai
series Procedia Computer Science
source_id 49
title Verifying the Abstraction Level of Structural Models
title_unstemmed Verifying the Abstraction Level of Structural Models
title_full Verifying the Abstraction Level of Structural Models
title_fullStr Verifying the Abstraction Level of Structural Models
title_full_unstemmed Verifying the Abstraction Level of Structural Models
title_short Verifying the Abstraction Level of Structural Models
title_sort verifying the abstraction level of structural models
topic General Medicine
url http://dx.doi.org/10.1016/j.procs.2014.03.061
publishDate 2014
physical 497-504
description
container_start_page 497
container_title Procedia Computer Science
container_volume 28
format_de105 Article, E-Article
format_de14 Article, E-Article
format_de15 Article, E-Article
format_de520 Article, E-Article
format_de540 Article, E-Article
format_dech1 Article, E-Article
format_ded117 Article, E-Article
format_degla1 E-Article
format_del152 Buch
format_del189 Article, E-Article
format_dezi4 Article
format_dezwi2 Article, E-Article
format_finc Article, E-Article
format_nrw Article, E-Article
_version_ 1792321132625395713
geogr_code not assigned
last_indexed 2024-03-01T10:57:10.097Z
geogr_code_person not assigned
openURL url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=Verifying+the+Abstraction+Level+of+Structural+Models&rft.date=2014-01-01&genre=article&issn=1877-0509&volume=28&spage=497&epage=504&pages=497-504&jtitle=Procedia+Computer+Science&atitle=Verifying+the+Abstraction+Level+of+Structural+Models&aulast=Lindemann&aufirst=Udo&rft_id=info%3Adoi%2F10.1016%2Fj.procs.2014.03.061&rft.language%5B0%5D=eng
SOLR
_version_ 1792321132625395713
author Roth, Michael, Kasperek, Daniel, Lindemann, Udo
author_facet Roth, Michael, Kasperek, Daniel, Lindemann, Udo, Roth, Michael, Kasperek, Daniel, Lindemann, Udo
author_sort roth, michael
container_start_page 497
container_title Procedia Computer Science
container_volume 28
description
doi_str_mv 10.1016/j.procs.2014.03.061
facet_avail Online, Free
format ElectronicArticle
format_de105 Article, E-Article
format_de14 Article, E-Article
format_de15 Article, E-Article
format_de520 Article, E-Article
format_de540 Article, E-Article
format_dech1 Article, E-Article
format_ded117 Article, E-Article
format_degla1 E-Article
format_del152 Buch
format_del189 Article, E-Article
format_dezi4 Article
format_dezwi2 Article, E-Article
format_finc Article, E-Article
format_nrw Article, E-Article
geogr_code not assigned
geogr_code_person not assigned
id ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTAxNi9qLnByb2NzLjIwMTQuMDMuMDYx
imprint Elsevier BV, 2014
imprint_str_mv Elsevier BV, 2014
institution DE-Gla1, DE-Zi4, DE-15, DE-Pl11, DE-Rs1, DE-105, DE-14, DE-Ch1, DE-L229, DE-D275, DE-Bn3, DE-Brt1, DE-Zwi2, DE-D161
issn 1877-0509
issn_str_mv 1877-0509
language English
last_indexed 2024-03-01T10:57:10.097Z
match_str roth2014verifyingtheabstractionlevelofstructuralmodels
mega_collection Elsevier BV (CrossRef)
physical 497-504
publishDate 2014
publishDateSort 2014
publisher Elsevier BV
record_format ai
recordtype ai
series Procedia Computer Science
source_id 49
spelling Roth, Michael Kasperek, Daniel Lindemann, Udo 1877-0509 Elsevier BV General Medicine http://dx.doi.org/10.1016/j.procs.2014.03.061 Verifying the Abstraction Level of Structural Models Procedia Computer Science
spellingShingle Roth, Michael, Kasperek, Daniel, Lindemann, Udo, Procedia Computer Science, Verifying the Abstraction Level of Structural Models, General Medicine
title Verifying the Abstraction Level of Structural Models
title_full Verifying the Abstraction Level of Structural Models
title_fullStr Verifying the Abstraction Level of Structural Models
title_full_unstemmed Verifying the Abstraction Level of Structural Models
title_short Verifying the Abstraction Level of Structural Models
title_sort verifying the abstraction level of structural models
title_unstemmed Verifying the Abstraction Level of Structural Models
topic General Medicine
url http://dx.doi.org/10.1016/j.procs.2014.03.061