English
Français
login
Menu
Search
Browse Collections
Help
English
Français
login
Modeling and testing object-oriented distributed systems with linear-time temporal logic
Dietrich, Falk
;
Logean, Xavier
;
Hubaux, Jean-Pierre
2001
Download
Formats
Format
BibTeX
View
Download
MARC
View
Download
MARCXML
View
Download
DublinCore
View
Download
EndNote
View
Download
NLM
View
Download
RefWorks
View
Download
RIS
View
Download
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
DOI
https://doi.org/10.1002/cpe.571
Other identifier(s)
DAR: 1934
View record in Web of Science
Laboratories
LDS
Record Appears in
Peer-reviewed publications
Work produced at EPFL
Journal Articles
Published
Record creation date
2004-08-31
Actions
Preview
Select file:
DietrichLH01 - n/a