printlogo
ETH Zuerich - Homepage
Computer Engineering and Networks Laboratory (TIK)
 
ETH Zurich - ITET - TIK - Publications
print
  

List of Publications in BibTeX Format sorted by "Year"

 
 Back 
 

1 entry found.
@inproceedings{SCT10a,
 author = {Nikolay Stoimenov and Samarjit Chakraborty and Lothar Thiele},
 title = {An Interface Algebra for Estimating Worst-Case Traversal Times in Component Networks},
 address = {Heraklion, Crete, Greece},
 booktitle = {Lecture Notes in Computer Science. Leveraging Applications of Formal Methods, Verification, and Validation, 4th International Symposium on Leveraging },
 pages = {198--213},
 publisher = {Springer},
 volume = {6415},
 month = {Oct},
 year = {2010}
}



1 entry found.

 
 Back

top
© 2017 Laboratory TIK, ETH Zurich | Imprint | Last updated on Fri, 28 Apr, 2017 08:18 | t=0.0051s | Valid HTML 4.01