1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
|
% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %
% $Id: lsc.bib,v 1.2 2006/02/23 12:57:15 berndw Exp $
%
% Bibliography to the lsc.sty manual.
%
% Author: Bernd Westphal <westphal at informatik.uni-oldenburg.de>
%
% Copyright (c) 2005-2006 Bernd Westphal. All rights reserved.
%
% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %
%
% This work may be distributed and/or modified under the conditions of
% the LaTeX Project Public License, either version 1.3 of this license
% or (at your option) any later version.
% The latest version of this license is in
% http://www.latex-project.org/lppl.txt
% and version 1.3 or later is part of all distributions of LaTeX
% version 2005/12/01 or later.
%
% This work has the LPPL maintenance status `maintained'.
%
% The Current Maintainer of this work is the copyright holder.
%
% This work consists of the files README, lsc.sty, lsc.tex, lsc.bib.
%
% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %
@article{DammHarel2001,
author = "Werner Damm and David Harel",
title = "{LSC}s: Breathing Life into Message Sequence Charts",
year = "2001",
month = jul,
journal = "Formal Methods in System Design",
volume = 19,
number = 1,
pages = "45--80",
x-topics = "lsc"
}
@book{ITU-T1993,
author = {ITU-T},
title = {{ITU-T R}ecommendation {Z}.120: {M}essage {S}equence {C}hart ({MSC})},
year = "1999",
url = "-",
publisher = {ITU-T},
x-topics = "msc standard"
}
@phdthesis{Klose2003,
author = "Jochen Klose",
title = "Live Sequence Charts: A Graphical Formalism for the Specification of Communication Behavior",
year = "2003",
school = {Carl von Ossietzky Universit\"{a}t Oldenburg},
x-topics = "lsc spec diss"
}
@book{HarelMarelly2003,
author = "David Harel and Rami Marelly",
title = "Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine",
year = "2003",
url = "-",
publisher = "Springer-Verlag",
x-topics = "lsc playinplayout"
}
@inproceedings{KloseWestphal2002,
author = "Jochen Klose and Bernd Westphal",
title = "Relating {LSC} Specifications to {UML} Models",
year = "2002",
pages = "130--137",
url = "-",
crossref = "ProcINT2002",
x-topics = "lsc"
}
@proceedings{ProcINT2002,
editor = {Hartmut Ehrig and Martin Grosse-Rhode},
booktitle = "Proceedings of the Workshop Integration of Software Specification Techniques, INT'02",
month = apr,
year = 2002
}
@article{DammWestphal2005,
author = "Werner Damm and Bernd Westphal",
title = {Live and Let Die: {LSC}-based Verification of {UML}-Models},
year = "2005",
journal = "Science of of Computer Programming",
volume = "55",
number = "1--3",
month = mar,
pages = "117--159",
x-topics = "umlverif sym lsc"
}
@article{MauwBos2001,
author = "Sjouke Mauw and Victor Bos",
title = {Drawing {M}essage {S}equence {C}harts with {\LaTeX}},
year = "2001",
url = "ftp://ftp.win.tue.nl/pub/techreports/sjouke/tbmsc.ps.Z",
journal = {TUGBoat},
volume = 22,
number = {1-2},
pages = {87--92},
month = {March/June},
x-pardate = "Wed Dec 28 18:50:28 MET 2005",
x-topics = "msc latex"
}
|
