From 80b04e10b547e13f6dd193df21496a0f36ccf45b Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sat, 15 Feb 2020 15:42:12 +0100 Subject: [PATCH] update citations of generic emptiness-check * doc/org/citing.org, doc/spot.bib: Here. --- doc/org/citing.org | 10 +++++++++- doc/spot.bib | 7 +++---- 2 files changed, 12 insertions(+), 5 deletions(-) diff --git a/doc/org/citing.org b/doc/org/citing.org index b7e5f742f..bcd322024 100644 --- a/doc/org/citing.org +++ b/doc/org/citing.org @@ -70,10 +70,18 @@ be more specific about a particular aspect of Spot. - *Reactive Synthesis from LTL Specification with Spot*, /Thibaud Michaud/, /Maximilien Colange/. - In Proc. of SYNT@CAV'18. to appear. ([[https://www.lrde.epita.fr/~max/bibtexbrowser.php?key=michaud.18.synt&bib=perso.bib][bib]] | [[https://www.lrde.epita.fr/dload/papers/michaud.18.synt.pdf][pdf]]) + In Proc. of SYNT@CAV'18. ([[https://www.lrde.epita.fr/~max/bibtexbrowser.php?key=michaud.18.synt&bib=perso.bib][bib]] | [[https://www.lrde.epita.fr/dload/papers/michaud.18.synt.pdf][pdf]]) Presents the tool [[file:ltlsynt.org][=ltlsynt=]]. +- *Generic Emptiness Check for Fun and Profit*, + /Christel Baier/, /František Blahoudek/, /Alexandre Duret-Lutz/, + /Joachim Klein/, /David Müller/, and /Jan Strejček/. + In. Proc. of ATVA'19, LNCS 11781, pp. 11781, Oct 2019. ([[https://www.lrde.epita.fr/~adl/dl/adl_bib.html#baier.19.atva][bib]] | [[https://www.lrde.epita.fr/~adl/dl/adl/baier.19.atva.pdf][pdf]] | + [[https://www.lrde.epita.fr/~adl/dl/adl/baier.19.atva.slides.mefosyloma.pdf][slides1]] | [[https://www.lrde.epita.fr/~adl/dl/adl/baier.19.atva.slides.pdf][slides2]]) + + Presents the generic emptiness-check implemented in Spot. + * Obsolete reference - *Spot: an extensible model checking library using transition-based diff --git a/doc/spot.bib b/doc/spot.bib index f777ed604..bcb1452d4 100644 --- a/doc/spot.bib +++ b/doc/spot.bib @@ -40,12 +40,11 @@ Automated Technology for Verification and Analysis (ATVA'19)}, year = {2019}, - volume = {?????}, + volume = {11781}, series = {Lecture Notes in Computer Science}, - pages = {???--???}, + pages = {445--461}, month = oct, - publisher = {Springer}, - note = {To appear} + publisher = {Springer} } @InProceedings{ beer.01.cav,