Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/iee/ChoKCB01
%A Cho, Seung Mo
%A Kim, Hyung Ho
%A Cha, Sung Deok
%A Bae, Doo-Hwan
%D 2001
%J IEE Proc. Softw.
%K dblp
%N 4
%P 135-140
%T Specification and validation of dynamic systems using temporal logic.
%U http://dblp.uni-trier.de/db/journals/iee/iee-s148.html#ChoKCB01
%V 148
@article{journals/iee/ChoKCB01,
added-at = {2021-10-01T00:00:00.000+0200},
author = {Cho, Seung Mo and Kim, Hyung Ho and Cha, Sung Deok and Bae, Doo-Hwan},
biburl = {https://www.bibsonomy.org/bibtex/2fc8ab6179f9cfbb53dcc49411123e321/dblp},
ee = {https://doi.org/10.1049/ip-sen:20010558},
interhash = {dd910da5fff3229806a733b883497ca3},
intrahash = {fc8ab6179f9cfbb53dcc49411123e321},
journal = {IEE Proc. Softw.},
keywords = {dblp},
number = 4,
pages = {135-140},
timestamp = {2024-04-08T11:01:39.000+0200},
title = {Specification and validation of dynamic systems using temporal logic.},
url = {http://dblp.uni-trier.de/db/journals/iee/iee-s148.html#ChoKCB01},
volume = 148,
year = 2001
}