File: metadata

package info (click to toggle)
mona 1.4-18-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, forky, sid, trixie
  • size: 3,316 kB
  • sloc: ansic: 13,825; cpp: 12,615; sh: 4,569; makefile: 111; lisp: 48
file content (12 lines) | stat: -rw-r--r-- 644 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
 
Bug-Database: https://github.com/cs-au-dk/MONA/issues
Repository: https://github.com/cs-au-dk/MONA
Webservice: https://www.brics.dk/mona/demo.html
Reference:
 - Author: Jesper G. Henriksen, Jakob Jensen, Michael Jørgensen, Nils Klarlund, Robert Paige, Theis Rauhe, and Anders Sandholm
 - Title: "Mona: Monadic Second-Order Logic in Practice"
 - Booktitle: First International Workshop on Tools and Algorithms for Construction and Analysis of Systems (TACAS)
 - Editor: Ed Brinksma and	  Rance Cleaveland and Kim Guldstrand Larsen and Tiziana Margaria and Bernhard Steffen
 - Year: 1995
 - Publisher: Springer
 - DOI: 10.1007/3-540-60630-0\_5