Modal Specifications

Research output: Contribution to journalJournal articleResearchpeer-review

Original languageEnglish
Book seriesLecture Notes in Computer Science
Volume407
ISSN0302-9743
Publication statusPublished - 1990

Cite this

@article{14a22c109c2f11db8ed6000ea68e967b,
title = "Modal Specifications",
author = "Larsen, {Kim Guldstrand}",
year = "1990",
language = "English",
volume = "407",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Physica-Verlag",

}

Modal Specifications. / Larsen, Kim Guldstrand.

In: Lecture Notes in Computer Science, Vol. 407, 1990.

Research output: Contribution to journalJournal articleResearchpeer-review

TY - JOUR

T1 - Modal Specifications

AU - Larsen, Kim Guldstrand

PY - 1990

Y1 - 1990

M3 - Journal article

VL - 407

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -