printlogo
ETH Zuerich - Homepage
Computer Engineering and Networks Laboratory (TIK)
  

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