Welcome to ftp.nluug.nl Current directory: /pub/ftp/ibiblio/distributions/CTAN/macros/latex/contrib/temporal-logic/?C=S&O=A

Current bandwidth utilization 176.35 Mbit/s

 Name                                                      Last modified      Size  
 Parent Directory                                                               -   
 README.md                                                 17-Oct-2024 14:16  1.2K  
 temporal-logic.ins                                        17-Oct-2024 14:16  1.5K  
 temporal-logic.dtx                                        17-Oct-2024 14:16   20K  
 temporal-logic-doc.pdf                                    17-Oct-2024 14:16  525K  

NLUUG - Open Systems. Open Standards
Become a member and get discounts on conferences and more, see the NLUUG website!