TeSSLa — An Ecosystem for Runtime Verification

Bibliographic Details
Title: TeSSLa — An Ecosystem for Runtime Verification
22nd International conference on runtime verification, RV 2022
Authors: Kallwies, Hannes, Leucker, Martin, Schmitz, Malte, Schulz, Albert, Thoma, Daniel, Weiss, Alexander
Source: Lecture notes in computer science. 13498:314-324
Availability: http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN608169633&indx=1&recIds=ETOCCN608169633
Database: British Library Document Supply Centre Inside Serials & Conference Proceedings
More Details
ISSN:03029743
Published in:Lecture notes in computer science
Language:Multiple languages