Metodikker og værktøjer til konstruktion af programmel (KOMET)

Publication: Research - peer-review › Report – Annual report year: 1981

Fedora Content Modelling for Improved Services for Research Databases
Publication: Research - peer-review › Conference abstract for conference – Annual report year: 2009
Introduction to SPIN
Publication: Education › Compendium/lecture notes – Annual report year: 2006
Basic Concurrency Theory
Publication: Education › Compendium/lecture notes – Annual report year: 2002
Towards a Process Algebra for Shared Processors
Publication: Research - peer-review › Journal article – Annual report year: 2002
Towards a Process Algebra for Shared Processors
Publication: Research - peer-review › Article in proceedings – Annual report year: 2001

Author: Løvengreen, Hans Henrik
Computer Science and Engineering, Department of Informatics and Mathematical Modeling, Technical University of Denmark, Richard Petersens Plads, 2800, Lyngby
Email:
Author: Bjorner, Dines
Author: Molich, Rolf
Computer Science and Engineering, Department of Informatics and Mathematical Modeling, Technical University of Denmark
Email:
Author: Parbst, Finn
Author: Pedersen, Gert Schmeltz
Administration, Technical Information Center of Denmark, Technical University of Denmark, Anker Engelunds Vej 1 , 2800, Kgs. Lyngby
Email:
Author: Pedersen, Jan Storbank

Original language	Danish
Publication date	1981

Publisher	Dansk Datamatik Center
State	Published

ID: 2838626

Fedora Content Modelling for Improved Services for Research Databases