J. Søgaard-Andersen, S. Garl, J. Guttag, N. Lynch, и A. Pogosyants. PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION, ELOUNDA, GREECE, VOLUME 697 OF LECTURE, стр. 305--319. Springer Verlag, (1993)
Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
More citation styles
- please select -
%0 Conference Paper
%1 Søgaard-Andersen93computer-assistedsimulation
%A Søgaard-Andersen, Jørgen F.
%A Garl, Stephen J.
%A Guttag, John V.
%A Lynch, Nancy A.
%A Pogosyants, Anna
%B PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION, ELOUNDA, GREECE, VOLUME 697 OF LECTURE
%D 1993
%I Springer Verlag
%K automated ioautomata proof simulation verification
%P 305--319
%T Computer-Assisted Simulation Proofs
@inproceedings{Søgaard-Andersen93computer-assistedsimulation,
added-at = {2010-09-07T18:04:07.000+0200},
author = {Søgaard-Andersen, Jørgen F. and Garl, Stephen J. and Guttag, John V. and Lynch, Nancy A. and Pogosyants, Anna},
biburl = {https://www.bibsonomy.org/bibtex/2f80c4d6e618d16d2d4a684ea69b3c12d/giuliano.losa},
booktitle = {PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION, ELOUNDA, GREECE, VOLUME 697 OF LECTURE},
interhash = {ba60ebf271817ff5a7caf13b8cadc0e1},
intrahash = {f80c4d6e618d16d2d4a684ea69b3c12d},
keywords = {automated ioautomata proof simulation verification},
pages = {305--319},
publisher = {Springer Verlag},
timestamp = {2010-09-07T18:04:07.000+0200},
title = {Computer-Assisted Simulation Proofs},
year = 1993
}