Publicações

AuthID
P-00T-D53

Author(s)

Ribeiro, M

Mateus, P

Editor(es)

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

Tipo de Documento

Proceedings Paper

Year published

2020

Publicado

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, Páginas: 71-97

Indexing

Publication Identifiers

DBLP: conf/birthday/RibeiroAM20

Export Publication Metadata

Lista Marked

Info

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

Links Úteis