LiU Electronic Press
Full-text not available in DiVA
Author:
Petermann, Uwe (Karl-Marx-Universitaet, Leipzig)
Szalas, Andrzej (University of Warsaw)
Title:
On Temporal Logic for Distributed Systems and its Application to Processes Communicating by Interrupts
Publication type:
Article in journal (Refereed)
Language:
English
Publisher: IOS Press
Status:
Published
In:
Fundamenta Informaticae(ISSN 0169-2968)
Volume:
12
Issue:
2
Pages:
191-204
Year of publ.:
1989
URI:
urn:nbn:se:liu:diva-75004
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-75004
Subject category:
Engineering and Technology
Available from:
2012-02-13
Created:
2012-02-13
Last updated:
2014-06-11
Statistics:
10 hits