Modeling and testing object-oriented distributed systems with linear-time temporal logic
2001
Files
Details
Title
Modeling and testing object-oriented distributed systems with linear-time temporal logic
Author(s)
Dietrich, Falk ; Logean, Xavier ; Hubaux, Jean-Pierre
Published in
Concurrency and Computation: Practice and Experience
Volume
13
Issue
5
Pages
385-420
Date
2001
Other identifier(s)
DAR: 1934
View record in Web of Science
View record in Web of Science
Laboratories
LDS
Record Appears in
Peer-reviewed publications
Work produced at EPFL
Journal Articles
Published
Work produced at EPFL
Journal Articles
Published
Record creation date
2004-08-31