Applications of Modal Logic for the specification of Real-time systems

L Chen; ATD Munro

Applications of Modal Logic for the specification of Real-time systems

L Chen, ATD Munro

Department of Electrical & Electronic Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

1 Citation (Scopus)

Translated title of the contribution	Applications of Modal Logic for the specification of Real-time systems
Original language	English
Title of host publication	Unknown
Pages	235 - 249
Number of pages	14
Volume	670
Publication status	Published - 1993

Bibliographical note

Conference Proceedings/Title of Journal: 1st FME Conf., on Industrial Formal Methods, Odense, April
Other: Lecture Notes in Computer Science

Handle.net

Persistent link

Cite this

@inproceedings{553d41febcc6462e9881ae92ebe11779,

title = "Applications of Modal Logic for the specification of Real-time systems",

author = "L Chen and ATD Munro",

note = "Conference Proceedings/Title of Journal: 1st FME Conf., on Industrial Formal Methods, Odense, April Other: Lecture Notes in Computer Science",

year = "1993",

language = "English",

isbn = "038756627",

volume = "670",

pages = "235 -- 249",

booktitle = "Unknown",

}

TY - GEN

T1 - Applications of Modal Logic for the specification of Real-time systems

AU - Chen, L

AU - Munro, ATD

N1 - Conference Proceedings/Title of Journal: 1st FME Conf., on Industrial Formal Methods, Odense, April Other: Lecture Notes in Computer Science

PY - 1993

Y1 - 1993

M3 - Conference Contribution (Conference Proceeding)

SN - 038756627

VL - 670

SP - 235

EP - 249

BT - Unknown

ER -