Inproceedings,
A Symbolic Model Checker for ACTL.
A. Fantechi, S. Gnesi, F. Mazzanti, R. Pugliese, and E. Tronci.FM-Trends, volume 1641 of Lecture Notes in Computer Science, page 228-242. Springer, (1998)
Meta data
- BibTeX key
- conf/fm/FantechiGMPT98
- entry type
- inproceedings
- booktitle
- FM-Trends
- year
- 1998
- pages
- 228-242
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 1641
- crossref
- conf/fm/1998
- ee
- https://www.wikidata.org/entity/Q57650947
- isbn
- 3-540-66462-9
- url
- http://dblp.uni-trier.de/db/conf/fm/fm1998.html#FantechiGMPT98
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/fm/FantechiGMPT98
%A Fantechi, Alessandro
%A Gnesi, Stefania
%A Mazzanti, Franco
%A Pugliese, Rosario
%A Tronci, Enrico
%B FM-Trends
%D 1998
%E Hutter, Dieter
%E Stephan, Werner
%E Traverso, Paolo
%E Ullmann, Markus
%I Springer
%K dblp
%P 228-242
%T A Symbolic Model Checker for ACTL.
%U http://dblp.uni-trier.de/db/conf/fm/fm1998.html#FantechiGMPT98
%V 1641
%@ 3-540-66462-9
@inproceedings{conf/fm/FantechiGMPT98,
added-at = {2019-09-25T00:00:00.000+0200},
author = {Fantechi, Alessandro and Gnesi, Stefania and Mazzanti, Franco and Pugliese, Rosario and Tronci, Enrico},
biburl = {https://www.bibsonomy.org/bibtex/2de56e0c14bbbd5654aa7153ce57d17c6/dblp},
booktitle = {FM-Trends},
crossref = {conf/fm/1998},
editor = {Hutter, Dieter and Stephan, Werner and Traverso, Paolo and Ullmann, Markus},
ee = {https://www.wikidata.org/entity/Q57650947},
interhash = {26585c4dae8efea09a41ef44c4d9dead},
intrahash = {de56e0c14bbbd5654aa7153ce57d17c6},
isbn = {3-540-66462-9},
keywords = {dblp},
pages = {228-242},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-09-26T13:48:13.000+0200},
title = {A Symbolic Model Checker for ACTL.},
url = {http://dblp.uni-trier.de/db/conf/fm/fm1998.html#FantechiGMPT98},
volume = 1641,
year = 1998
}