%0 Conference Paper %1 conf/euc/JarnjakKJIJB05 %A Jarnjak, Fran %A Kim, Jinhyung %A Jing, Yixin %A In, Hoh Peter %A Jeong, Dongwon %A Baik, Doo-Kwon %B EUC Workshops %D 2005 %E Enokido, Tomoya %E Yan, Lu %E Xiao, Bin %E Kim, Daeyoung %E Dai, Yuan-Shun %E Yang, Laurence Tianruo %I Springer %K dblp %P 161-170 %T TS-U: Temporal-Spatial Methodology for Application Checking of the Systems in the Ubiquitous Environment. %U http://dblp.uni-trier.de/db/conf/euc/eucw2005.html#JarnjakKJIJB05 %V 3823 %@ 3-540-30803-2

@inproceedings{conf/euc/JarnjakKJIJB05, added-at = {2018-06-26T00:00:00.000+0200}, author = {Jarnjak, Fran and Kim, Jinhyung and Jing, Yixin and In, Hoh Peter and Jeong, Dongwon and Baik, Doo-Kwon}, biburl = {https://www.bibsonomy.org/bibtex/2c29b43c4130ec78cc4421596a98f9253/dblp}, booktitle = {EUC Workshops}, crossref = {conf/euc/2005w}, editor = {Enokido, Tomoya and Yan, Lu and Xiao, Bin and Kim, Daeyoung and Dai, Yuan-Shun and Yang, Laurence Tianruo}, ee = {https://doi.org/10.1007/11596042_17}, interhash = {8cf6d4662dc9643f115ba25bd1ff98e6}, intrahash = {c29b43c4130ec78cc4421596a98f9253}, isbn = {3-540-30803-2}, keywords = {dblp}, pages = {161-170}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-08-26T07:46:43.000+0200}, title = {TS-U: Temporal-Spatial Methodology for Application Checking of the Systems in the Ubiquitous Environment.}, url = {http://dblp.uni-trier.de/db/conf/euc/eucw2005.html#JarnjakKJIJB05}, volume = 3823, year = 2005 }