login
·
register
·
help
·
blog
·
about
·
BibSonomy
::
BibTeX
::
tag
user
group
author
concept
BibTeX key
search:all
search:dblp
username:
password:
OpenID:
A blue social bookmark and publication sharing system.
Home
tags
authors
relations
groups
popular
entry of
dblp
:
spam
MT: A Toolset for Specifying and Analyzing Real-Time Systems.
by:
Paul C.
Clements
and Constance L.
Heitmeyer
and Bruce G.
Labaw
and A. T.
Rose
In:
IEEE Real-Time Systems Symposium
(1993) , p. 12-22.
Citation format (
all formats
):
plain
Harvard
DIN1505
simple HTML
Resources (URL, PDF, PS...)
URL:
http://dblp.uni-trier.de/db/conf/rtss/rtss1993.html#ClementsHLR93
Description
dblp
BibTeX record
@inproceedings{conf/rtss/ClementsHLR93, author = {Paul C. Clements and Constance L. Heitmeyer and Bruce G. Labaw and A. T. Rose}, booktitle = {IEEE Real-Time Systems Symposium}, interHash = {ebca35d135b0cb925a3d15d4ad63fd55}, intraHash = {be238f4bf382433c1ee5eab08b5ec4b0}, pages = {12-22}, title = {MT: A Toolset for Specifying and Analyzing Real-Time Systems.}, url = {http://dblp.uni-trier.de/db/conf/rtss/rtss1993.html#ClementsHLR93}, year = {1993}, date = {2002-01-03} }
Endnote record
%0 Conference Paper %1 conf/rtss/ClementsHLR93 %A Paul C. Clements %A Constance L. Heitmeyer %A Bruce G. Labaw %A A. T. Rose %B IEEE Real-Time Systems Symposium %D 1993 %K %P 12-22 %T MT: A Toolset for Specifying and Analyzing Real-Time Systems. %U http://dblp.uni-trier.de/db/conf/rtss/rtss1993.html#ClementsHLR93
tags
(
dblp
's tags highlighted)
dblp
users
dblp
BibTeX
groups
Resources (URL, PDF, PS...)