Exploring modal worlds

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch

Erschienen in
In: Journal of Logical and Algebraic Methods in Programming, 83, 2, S. 135-153

Ereignis
Veröffentlichung
(wo)
Augsburg
(wer)
Universität Augsburg, Elsevier BV
(wann)
2014
Urheber
Dang, Han-Hing
Glück, Roland
Möller, Bernhard
Roocks, Patrick
Zelend, Andreas

DOI
10.1016/j.jlap.2014.02.004
URN
urn:nbn:de:bvb:384-opus4-587505
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:46 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

  • Dang, Han-Hing
  • Glück, Roland
  • Möller, Bernhard
  • Roocks, Patrick
  • Zelend, Andreas
  • Universität Augsburg, Elsevier BV

Entstanden

  • 2014

Ähnliche Objekte (12)