Back to Results
First PageMeta Content
C programming language / Cross-platform software / Programming language implementation / Procedural programming languages / Punctuation / C preprocessor / Maria / Preprocessor / C / Software engineering / Computing / Computer programming


Maria Modular Reachability Analyzer for Algebraic System Nets 20 June 2003, Maria Versionby Marko M¨ akel¨
Add to Reading List

Document Date: 2003-06-20 09:11:14

Open Document

File Size: 511,70 KB

Share Result on Facebook

Company

Nokia / Nokia Networks / Helsinki Telephone Corporation / /

Facility

Helsinki University of Technology / University of Technology / /

IndustryTerm

generation tools / unification algorithm / software platforms / /

OperatingSystem

GNU / /

Organization

National Technology Agency of Finland / Finnish Rail Administration / Laboratory for Theoretical Computer Science / Helsinki University of Technology / /

Person

Nisse Husberg / Kimmo Varpaaniemi / Also Simo Blom / Timo Latvala / Maria Modular Reachability Analyzer / /

Position

GNU General Public License / /

ProgrammingLanguage

C / C++ / /

PublishedMedium

Theoretical Computer Science / /

Technology

unification algorithm / /

SocialTag