Depending on the amount of data to process, file generation may take longer.

If it takes too long to generate, you can limit the data by, for example, reducing the range of years.

Book

Download BibTeX

Title

2020 Baltic URSI Symposium (URSI)

Year of publication

2020

Book type

edited book

Publication language

english

Publisher name

IEEE

Publisher name from the Ministry list

Institute of Electrical and Electronics Engineers (IEEE)

Date of publication

2020

ISBN

978-1-7281-5788-7

eISBN

978-83-949421-9-9

URL

https://ieeexplore.ieee.org/xpl/conhome/9253988/proceeding

Chapters
Tamarin Software - The Tool for Protocols Verification Security (p. 118-123)
Conference

2020 Baltic URSI Symposium (URSI), 5-8.10.2020, Warsaw, Poland

This website uses cookies to remember the authenticated session of the user. For more information, read about Cookies and Privacy Policy.