Back to Results
First PageMeta Content
Models of computation / Computer science / Model checking / Finite-state machine / Deterministic finite automaton / Formal language / Tree automaton / Formal verification / Second-order logic / Automata theory / Theoretical computer science / Applied mathematics


BRICS Basic Research in Computer Science MONA Version 1.4 User Manual Nils Klarlund, [removed]
Add to Reading List

Document Date: 2002-06-14 03:00:12

Open Document

File Size: 721,57 KB

Share Result on Facebook

City

Str / /

Country

Denmark / /

/

Facility

Computer Science University of Aarhus Ny Munkegade / terminal BDDs / /

IndustryTerm

Software engineering / finite systems / red-black search trees / Web session / linguistic processing / example applications / communication protocol / distributed reactive systems / parameterized transition systems / finite-state systems / project Web site / Web services / /

OperatingSystem

UNIX / Solaris / Linux / GNU / /

Organization

Department of Computer Science / University of Aarhus All / Computer Science University of Aarhus Ny Munkegade / /

Person

Kim Sunesen / Robert Paige / Doug McIllroy / Andreas Potthoff / Jacob Elgaard / David Basin / Jakob Jensen / Frank Morawietz / Anders Møller / Tom Shiple / Michael I. Schwartzbach / Anders Sandholm / Nikolaj Bjørner / Nils Klarlund / Michael Jørgensen / Harald Ruess / /

Position

GNU General Public Licence / MONA programmer / Controller / GNU General Public License / programmer / /

ProgrammingLanguage

Verilog / C / C++ / /

RadioStation

2.5 What / /

Technology

BDD algorithms / Verilog / UNIX / Linux / Sliding Window communication protocol / ASCII / Dining Philosophers protocol / 1.4 1.2 MONA applications Protocol / /

URL

http /

SocialTag