Commit 465fda2b authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz

* bin/man/genltl.x: Typo.

parent 91497246
...@@ -17,7 +17,7 @@ J. Geldenhuys and H. Hansen: Larger automata and less ...@@ -17,7 +17,7 @@ J. Geldenhuys and H. Hansen: Larger automata and less
work for LTL model checking. Proceedings of Spin'06. LNCS 3925. work for LTL model checking. Proceedings of Spin'06. LNCS 3925.
.TP .TP
ccj 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. Automata for Certain Classes of LTL Formulas. Proceedings of DepCoS'09.
.TP .TP
go go
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment