Publications

AuthID
P-003-R7G

Author(s)

Matthes, R

Editor(s)

Ronchi Della Rocca,S

Document Type

Article

Year published

2009

Published

in LOGICAL METHODS IN COMPUTER SCIENCE, ISSN: 1860-5974

Volume: 5, Issue: 2

Conference

Tlca Conference 2007, Date: 2007, Location: Paris, FRANCE

Indexing

Wos^®

Crossref^®

Google Scholar^®

Publication Identifiers

DOI: 10.2168/lmcs-5(2:11)2009

Wos: WOS:000268642300011

Source Identifiers

ISSN: 1860-5974

Export Publication Metadata

Marked List

Info

At this moment we don't have any links to full text documens.

Useful Links