%0 Conference Paper %1 conf/iccci/JbeliSA16 %A Jbeli, Naima %A Sbaï, Zohra %A Ayed, Rahma Ben %B ICCCI (1) %D 2016 %E Nguyen, Ngoc Thanh %E Manolopoulos, Yannis %E Iliadis, Lazaros S. %E Trawinski, Bogdan %I Springer %K dblp %P 323-332 %T On Expressiveness of TCTLΔh for Model Checking Distributed Systems. %U http://dblp.uni-trier.de/db/conf/iccci/iccci2016-1.html#JbeliSA16 %V 9875 %@ 978-3-319-45242-5

@inproceedings{conf/iccci/JbeliSA16, added-at = {2021-07-25T00:00:00.000+0200}, author = {Jbeli, Naima and Sbaï, Zohra and Ayed, Rahma Ben}, biburl = {https://www.bibsonomy.org/bibtex/27dcf4860c4159eb0146a9475c6ef0367/dblp}, booktitle = {ICCCI (1)}, crossref = {conf/iccci/2016-1}, editor = {Nguyen, Ngoc Thanh and Manolopoulos, Yannis and Iliadis, Lazaros S. and Trawinski, Bogdan}, ee = {https://doi.org/10.1007/978-3-319-45243-2_30}, interhash = {a3abaa1dc177f26e7994c819de7c0338}, intrahash = {7dcf4860c4159eb0146a9475c6ef0367}, isbn = {978-3-319-45242-5}, keywords = {dblp}, pages = {323-332}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T00:04:05.000+0200}, title = {On Expressiveness of TCTLΔh for Model Checking Distributed Systems.}, url = {http://dblp.uni-trier.de/db/conf/iccci/iccci2016-1.html#JbeliSA16}, volume = 9875, year = 2016 }