Switch to: References

Add citations

You must login to add citations.
  1. Constraint LTL Satisfiability Checking Without Automata.Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi & Pierluigi San Pietro - 2014 - Journal of Applied Logic 12 (4):522-557.
    Download  
     
    Export citation  
     
    Bookmark