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/VarekovaZ0C08
%A Vareková, Pavlína
%A Zimmerova, Barbora
%A Moravec, Pavel
%A Cerná, Ivana
%D 2008
%J IET Software
%K dblp
%N 6
%P 532-546
%T Formal verification of systems with an unlimited number of components.
%U http://dblp.uni-trier.de/db/journals/iet-sen/iet-sen2.html#VarekovaZ0C08
%V 2
@article{journals/iee/VarekovaZ0C08,
added-at = {2019-02-04T00:00:00.000+0100},
author = {Vareková, Pavlína and Zimmerova, Barbora and Moravec, Pavel and Cerná, Ivana},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/274948526739e830b45e9606d4048a079/dblp},
ee = {https://doi.org/10.1049/iet-sen:20080009},
interhash = {76365df25966817d13d3fd933dfffc12},
intrahash = {74948526739e830b45e9606d4048a079},
journal = {IET Software},
keywords = {dblp},
number = 6,
pages = {532-546},
timestamp = {2019-09-27T06:15:19.000+0200},
title = {Formal verification of systems with an unlimited number of components.},
url = {http://dblp.uni-trier.de/db/journals/iet-sen/iet-sen2.html#VarekovaZ0C08},
volume = 2,
year = 2008
}