Back to Results
First PageMeta Content
Ericsson / Erlang / ManaGeR / Software engineering / System software / Computing / Teletraffic


Towards Automatic Verification of Erlang Programs by π–Calculus Translation Chanchal Roy1 Thomas Noll2
Add to Reading List

Document Date: 2006-10-05 09:24:06

Open Document

File Size: 690,57 KB

Share Result on Facebook

Country

Germany / Canada / /

Currency

pence / /

/

Facility

RWTH Aachen University / Computing Queen’s University / /

IndustryTerm

telecommunication software / /

Organization

Computing Queen’s University / RWTH Aachen University / School of Computing Queen / /

Person

Mgr / Rsr / /

Position

resource manager / manager / manager start / /

ProgrammingLanguage

E / Erlang / R / C / /

SocialTag