%0 Conference Paper %1 conf/atva/KimLASYLC04 %A Kim, Jin Hyun %A Lee, Su-Young %A Ahn, Young Ah %A Sim, Jae-Hwan %A Yang, Jin Seok %A Lee, Na-Young %A Choi, Jin-Young %B ATVA %D 2004 %E Wang, Farn %I Springer %K dblp %P 479-482 %T Development of RTOS for PLC Using Formal Methods. %U http://dblp.uni-trier.de/db/conf/atva/atva2004.html#KimLASYLC04 %V 3299 %@ 3-540-23610-4

@inproceedings{conf/atva/KimLASYLC04, added-at = {2018-01-22T00:00:00.000+0100}, author = {Kim, Jin Hyun and Lee, Su-Young and Ahn, Young Ah and Sim, Jae-Hwan and Yang, Jin Seok and Lee, Na-Young and Choi, Jin-Young}, biburl = {https://www.bibsonomy.org/bibtex/25f341dcb7b4fbe3a4f7030efadff58dd/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2004}, editor = {Wang, Farn}, ee = {https://doi.org/10.1007/978-3-540-30476-0_40}, interhash = {8fd857992b2623f16499004574223005}, intrahash = {5f341dcb7b4fbe3a4f7030efadff58dd}, isbn = {3-540-23610-4}, keywords = {dblp}, pages = {479-482}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:01:10.000+0200}, title = {Development of RTOS for PLC Using Formal Methods.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2004.html#KimLASYLC04}, volume = 3299, year = 2004 }