Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 Bjørner00verifyingtemporal
%A Bjørner, Nikolaj S.
%A Browne, Anca
%A Colon, Michael A.
%A Finkbeiner, Bernd
%A Manna, Zohar
%A Sipma, Henny B.
%A Uribe, Tomas E.
%B FORMAL METHODS IN SYSTEM DESIGN
%D 2000
%K deductive parameterized temporal verification
%P 2000
%T Verifying temporal properties of reactive systems: A STeP tutorial
@inproceedings{Bjørner00verifyingtemporal,
added-at = {2010-06-03T19:24:12.000+0200},
author = {Bjørner, Nikolaj S. and Browne, Anca and Colon, Michael A. and Finkbeiner, Bernd and Manna, Zohar and Sipma, Henny B. and Uribe, Tomas E.},
biburl = {https://www.bibsonomy.org/bibtex/2717391beaf476af01aa71b2010f47a71/giuliano.losa},
booktitle = {FORMAL METHODS IN SYSTEM DESIGN},
interhash = {d4a3ca8b84be72c439171700a8ffc44c},
intrahash = {717391beaf476af01aa71b2010f47a71},
keywords = {deductive parameterized temporal verification},
pages = 2000,
timestamp = {2010-06-03T19:24:12.000+0200},
title = {Verifying temporal properties of reactive systems: A STeP tutorial},
year = 2000
}