%0 Conference Paper %1 conf/pts/DietrichLKH98 %A Dietrich, Falk %A Logean, Xavier %A Koppenhoefer, Shawn %A Hubaux, Jean-Pierre %B IWTCS %D 1998 %E Petrenko, Alexandre %E Yevtushenko, Nina %I Kluwer %K dblp %P 247-258 %T Testing Temporal Logic Properties in Distributed Systems. %U http://dblp.uni-trier.de/db/conf/pts/pts1998.html#DietrichLKH98 %V 131 %@ 0-412-84430-3

@inproceedings{conf/pts/DietrichLKH98, added-at = {2002-10-21T00:00:00.000+0200}, author = {Dietrich, Falk and Logean, Xavier and Koppenhoefer, Shawn and Hubaux, Jean-Pierre}, biburl = {https://www.bibsonomy.org/bibtex/299bcc3e802ce9a7b45fadf9e33ae36ef/dblp}, booktitle = {IWTCS}, crossref = {conf/pts/1998}, editor = {Petrenko, Alexandre and Yevtushenko, Nina}, interhash = {b54152e0385e4f109d0b12d814193ec0}, intrahash = {99bcc3e802ce9a7b45fadf9e33ae36ef}, isbn = {0-412-84430-3}, keywords = {dblp}, pages = {247-258}, publisher = {Kluwer}, series = {IFIP Conference Proceedings}, timestamp = {2024-04-09T12:04:08.000+0200}, title = {Testing Temporal Logic Properties in Distributed Systems.}, url = {http://dblp.uni-trier.de/db/conf/pts/pts1998.html#DietrichLKH98}, volume = 131, year = 1998 }