summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/bibtex/bib/lsc/lsc.bib
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/bibtex/bib/lsc/lsc.bib')
-rw-r--r--Master/texmf-dist/bibtex/bib/lsc/lsc.bib108
1 files changed, 108 insertions, 0 deletions
diff --git a/Master/texmf-dist/bibtex/bib/lsc/lsc.bib b/Master/texmf-dist/bibtex/bib/lsc/lsc.bib
new file mode 100644
index 00000000000..355652be760
--- /dev/null
+++ b/Master/texmf-dist/bibtex/bib/lsc/lsc.bib
@@ -0,0 +1,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"
+}
+