Inproceedings,
Integrated Tool for Testing Timed Systems.
H. Fouchal, S. Gruson, L. Pierre, C. Rabat, and A. Rollet.ISSADS, volume 3563 of Lecture Notes in Computer Science, page 153-166. Springer, (2005)
Meta data
- BibTeX key
- conf/issads/FouchalGPRR05
- entry type
- inproceedings
- booktitle
- ISSADS
- year
- 2005
- pages
- 153-166
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 3563
- crossref
- conf/issads/2005
- ee
- https://doi.org/10.1007/11533962_14
- isbn
- 3-540-28063-4
- url
- http://dblp.uni-trier.de/db/conf/issads/issads2005.html#FouchalGPRR05
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/issads/FouchalGPRR05
%A Fouchal, Hacène
%A Gruson, Sébastien
%A Pierre, Ludovic
%A Rabat, Cyril
%A Rollet, Antoine
%B ISSADS
%D 2005
%E Corchado, Félix F. Ramos
%E Larios-Rosillo, Victor M.
%E Unger, Herwig
%I Springer
%K dblp
%P 153-166
%T Integrated Tool for Testing Timed Systems.
%U http://dblp.uni-trier.de/db/conf/issads/issads2005.html#FouchalGPRR05
%V 3563
%@ 3-540-28063-4
@inproceedings{conf/issads/FouchalGPRR05,
added-at = {2021-07-25T00:00:00.000+0200},
author = {Fouchal, Hacène and Gruson, Sébastien and Pierre, Ludovic and Rabat, Cyril and Rollet, Antoine},
biburl = {https://www.bibsonomy.org/bibtex/24f6abb32666303ff9a5131817c824bc2/dblp},
booktitle = {ISSADS},
crossref = {conf/issads/2005},
editor = {Corchado, Félix F. Ramos and Larios-Rosillo, Victor M. and Unger, Herwig},
ee = {https://doi.org/10.1007/11533962_14},
interhash = {cad957fd8e0849baecf294b3a1101ef7},
intrahash = {4f6abb32666303ff9a5131817c824bc2},
isbn = {3-540-28063-4},
keywords = {dblp},
pages = {153-166},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-10T16:05:00.000+0200},
title = {Integrated Tool for Testing Timed Systems.},
url = {http://dblp.uni-trier.de/db/conf/issads/issads2005.html#FouchalGPRR05},
volume = 3563,
year = 2005
}