%0 Conference Paper %1 conf/hicss/UlrichHPB03 %A Ulrich, Andreas %A Hallal, Hesham %A Petrenko, Alexandre %A Boroday, Sergiy %B HICSS %D 2003 %I IEEE Computer Society %K dblp %P 337 %T Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis. %U http://dblp.uni-trier.de/db/conf/hicss/hicss2003-9.html#UlrichHPB03 %@ 0-7695-1874-5

@inproceedings{conf/hicss/UlrichHPB03, added-at = {2014-07-21T00:00:00.000+0200}, author = {Ulrich, Andreas and Hallal, Hesham and Petrenko, Alexandre and Boroday, Sergiy}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/22a0b76021d712b72c985f9a047927082/dblp}, booktitle = {HICSS}, crossref = {conf/hicss/2003}, ee = {http://doi.ieeecomputersociety.org/10.1109/HICSS.2003.1174915}, interhash = {4f3f5968d14a5392514984e5546706cf}, intrahash = {2a0b76021d712b72c985f9a047927082}, isbn = {0-7695-1874-5}, keywords = {dblp}, pages = 337, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T15:11:14.000+0100}, title = {Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis.}, url = {http://dblp.uni-trier.de/db/conf/hicss/hicss2003-9.html#UlrichHPB03}, year = 2003 }