BibSonomy :: bibtex  ::

tag user group author concept BibTeX key search:all search:dblp
A blue social bookmark and publication sharing system.
tags · relations · groups · popular
help · blog · about
login · register
dblp's BibTeX entry:  

Specification and verification of inter-component constraints in CTL.

ACM SIGSOFT Software Engineering Notes, 31(2)2006.
Authors: Nguyen Truong Thang and Takuya Katayama
URL: http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft31.html#ThangK06
Description: dblp
Tags: dblp
| URL | BibTeX  
@article{journals/sigsoft/ThangK06,
title = {Specification and verification of inter-component constraints in CTL.},
author = {Nguyen Truong Thang and Takuya Katayama},
journal = {ACM SIGSOFT Software Engineering Notes},
number = {2},
url = {http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft31.html#ThangK06},
volume = {31},
year = {2006},
description = {dblp},
ee = {http://doi.acm.org/10.1145/1118537.1123067}, date = {2008-05-07},
keywords = {dblp }
}