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 |