Process algebra for event-driven runtime verification: A case study of wireless network management

Document

Metadata

Author(s)

Calder, M. | Sevegnani, M.

DOI

10.1007/978-3-642-30729-4_2

Title

Process algebra for event-driven runtime verification: A case study of wireless network management

Item Type

conferencePaper

"Key

YQ4RZL2V

Publication Year

2012

Publication Title

Lect. Notes Comput. Sci.

ISBN

16113349 (ISSN); 978-364230728-7 (ISBN)

Url

https://www.scopus.com/inward/record.uri?eid=2-s2.0-84864374369&doi=10.1007%2f978-3-642-30729-4_2&partnerID=40&md5=37143f1b8cf144071b99cc1648da82d9

Date

2012

Pages

21-23

Volume

7321 LNCS

Language

English

Conference Name

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Attachments