SwePub
Sök i LIBRIS databas

  Extended search

onr:"swepub:oai:gup.ub.gu.se/320963"
 

Search: onr:"swepub:oai:gup.ub.gu.se/320963" > A Lightweight Appro...

  • 1 of 1
  • Previous record
  • Next record
  •    To hitlist
  • Albers, Mitchell (author)

A Lightweight Approach for Model Checking Variability-Based Graph Transformations

  • Article/chapterEnglish2022

Publisher, publication year, extent ...

  • 2022

Numbers

  • LIBRIS-ID:oai:gup.ub.gu.se/320963
  • https://gup.ub.gu.se/publication/320963URI

Supplementary language notes

  • Language:English

Part of subdatabase

Classification

  • Subject category:ref swepub-contenttype
  • Subject category:kon swepub-publicationtype

Subject headings and genre

Added entries (persons, corporate bodies, meetings, titles ...)

  • Damasceno, Carlos Diego (author)
  • Strüber, Daniel,1986Gothenburg University,Göteborgs universitet,Institutionen för data- och informationsteknik (GU),Department of Computer Science and Engineering (GU)(Swepub:gu)xstrud (author)
  • Göteborgs universitetInstitutionen för data- och informationsteknik (GU) (creator_code:org_t)

Related titles

  • In:Pre-Proceedings for Workshop on Graph Computation Models (GCM'22)

Internet link

To the university's database

  • 1 of 1
  • Previous record
  • Next record
  •    To hitlist

Find more in SwePub

By the author/editor
Albers, Mitchell
Damasceno, Carlo ...
Strüber, Daniel, ...
About the subject
NATURAL SCIENCES
NATURAL SCIENCES
and Computer and Inf ...
and Software Enginee ...
NATURAL SCIENCES
NATURAL SCIENCES
and Computer and Inf ...
and Computer Science ...
Articles in the publication
By the university
University of Gothenburg

Search outside SwePub

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Close

Copy and save the link in order to return to this view