Publications

AuthID
P-00T-D53

Author(s)

Ribeiro, M

Mateus, P

Editor(s)

Nigam,V;Kirigin,TB;Talcott,CL;Guttman,JD;Kuznetsov,S;Loo,BT;Okada,M

Document Type

Proceedings Paper

Year published

2020

Published

in Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday in Lecture Notes in Computer Science

Volume: 12300, Pages: 71-97

Indexing

Publication Identifiers

Dblp: conf/birthday/RibeiroAM20

Export Publication Metadata

Marked List

Info

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

Useful Links