Meta data
- BibTeX key
- conf/kbse/NguyenSLD11
- entry type
- inproceedings
- booktitle
- ASE
- year
- 2011
- pages
- 633-636
- publisher
- IEEE Computer Society
- crossref
- conf/kbse/2011
- ee
- https://doi.ieeecomputersociety.org/10.1109/ASE.2011.6100143
- isbn
- 978-1-4577-1638-6
- url
- http://dblp.uni-trier.de/db/conf/kbse/ase2011.html#NguyenSLD11
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/kbse/NguyenSLD11
%A Nguyen, Truong Khanh
%A Sun, Jun
%A Liu, Yang
%A Dong, Jin Song
%B ASE
%D 2011
%E Alexander, Perry
%E Pasareanu, Corina S.
%E Hosking, John G.
%I IEEE Computer Society
%K dblp
%P 633-636
%T A model checking framework for hierarchical systems.
%U http://dblp.uni-trier.de/db/conf/kbse/ase2011.html#NguyenSLD11
%@ 978-1-4577-1638-6
@inproceedings{conf/kbse/NguyenSLD11,
added-at = {2023-06-26T00:00:00.000+0200},
author = {Nguyen, Truong Khanh and Sun, Jun and Liu, Yang and Dong, Jin Song},
biburl = {https://www.bibsonomy.org/bibtex/2eacaa8bcf10b0eb57ed26822e3f01f45/dblp},
booktitle = {ASE},
crossref = {conf/kbse/2011},
editor = {Alexander, Perry and Pasareanu, Corina S. and Hosking, John G.},
ee = {https://doi.ieeecomputersociety.org/10.1109/ASE.2011.6100143},
interhash = {67b16c48a529e2b90362f5e291c94719},
intrahash = {eacaa8bcf10b0eb57ed26822e3f01f45},
isbn = {978-1-4577-1638-6},
keywords = {dblp},
pages = {633-636},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T04:50:43.000+0200},
title = {A model checking framework for hierarchical systems.},
url = {http://dblp.uni-trier.de/db/conf/kbse/ase2011.html#NguyenSLD11},
year = 2011
}