diff options
author | Karl Berry <karl@freefriends.org> | 2006-07-23 23:48:50 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2006-07-23 23:48:50 +0000 |
commit | 68b95e72d5ea1fe8fa89e11bc896a33ce8c42cc5 (patch) | |
tree | b7166d594b0610a6a6b8ac9fc3e7d05119aa8892 /Master/texmf-dist/bibtex/bib | |
parent | 40017fc23f5df1b885094287255acd2138fe727e (diff) |
new (latex) package lsc (23feb06)
git-svn-id: svn://tug.org/texlive/trunk@1908 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/bibtex/bib')
-rw-r--r-- | Master/texmf-dist/bibtex/bib/lsc/lsc.bib | 108 |
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" +} + |