Publicações

AuthID
P-00N-KGN

Author(s)

Fiedor, J

Krena, B

Vojnar, T

Editor(es)

Bartocci,E;Falcone,Y

Tipo de Documento

Book Chapter

Year published

2018

Publicado

in Lectures on Runtime Verification - Introductory and Advanced Topics in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 10457, Páginas: 34-60

Indexing

Scopus^®

Crossref^®8

Google Scholar^®

Publication Identifiers

DOI: 10.1007/978-3-319-75632-5_2

DBLP: series/lncs/LourencoFKV18

SCOPUS: 2-s2.0-85042118693

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Lista Marked

Info

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

Links Úteis