From 465fda2b356d3f0a0cdf5d4c57905db2f7157ce5 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 5 May 2016 14:06:01 +0200 Subject: [PATCH] * bin/man/genltl.x: Typo. --- bin/man/genltl.x | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/man/genltl.x b/bin/man/genltl.x index cd83cbdcb..64e4d9d61 100644 --- a/bin/man/genltl.x +++ b/bin/man/genltl.x @@ -17,7 +17,7 @@ J. Geldenhuys and H. Hansen: Larger automata and less work for LTL model checking. Proceedings of Spin'06. LNCS 3925. .TP ccj -J. Cichoń, A. Czubak, and A. Jasiński (DepCoS'09): Minimal Büchi +J. Cichoń, A. Czubak, and A. Jasiński: Minimal Büchi Automata for Certain Classes of LTL Formulas. Proceedings of DepCoS'09. .TP go -- GitLab