@article{journals/corr/abs-2310-02466,
  added-at = {2023-10-19T00:00:00.000+0200},
  author = {Aminof, Benjamin and Rubin, Sasha and Spegni, Francesco and Zuleger, Florian},
  biburl = {https://www.bibsonomy.org/bibtex/2336a92c82a3ae40603d2c9de586ecaf2/dblp},
  ee = {https://doi.org/10.48550/arXiv.2310.02466},
  interhash = {73ed3c8388740fd03e07d374e34c13f5},
  intrahash = {336a92c82a3ae40603d2c9de586ecaf2},
  journal = {CoRR},
  keywords = {dblp},
  timestamp = {2024-04-08T23:35:47.000+0200},
  title = {Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems.},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr2310.html#abs-2310-02466},
  volume = {abs/2310.02466},
  year = 2023
}

{"_id":"RSEQ4XAy4crMnushS","bibbaseid":"aminof-rubin-spegni-zuleger-parameterizedmodelcheckingofdiscretetimednetworksandsymmetricbroadcastsystems-2023","author_short":["Aminof, B.","Rubin, S.","Spegni, F.","Zuleger, F."],"bibdata":{"bibtype":"article","type":"article","added-at":"2023-10-19T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Aminof"],"firstnames":["Benjamin"],"suffixes":[]},{"propositions":[],"lastnames":["Rubin"],"firstnames":["Sasha"],"suffixes":[]},{"propositions":[],"lastnames":["Spegni"],"firstnames":["Francesco"],"suffixes":[]},{"propositions":[],"lastnames":["Zuleger"],"firstnames":["Florian"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2336a92c82a3ae40603d2c9de586ecaf2/dblp","ee":"https://doi.org/10.48550/arXiv.2310.02466","interhash":"73ed3c8388740fd03e07d374e34c13f5","intrahash":"336a92c82a3ae40603d2c9de586ecaf2","journal":"CoRR","keywords":"dblp","timestamp":"2024-04-08T23:35:47.000+0200","title":"Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems.","url":"http://dblp.uni-trier.de/db/journals/corr/corr2310.html#abs-2310-02466","volume":"abs/2310.02466","year":"2023","bibtex":"@article{journals/corr/abs-2310-02466,\n added-at = {2023-10-19T00:00:00.000+0200},\n author = {Aminof, Benjamin and Rubin, Sasha and Spegni, Francesco and Zuleger, Florian},\n biburl = {https://www.bibsonomy.org/bibtex/2336a92c82a3ae40603d2c9de586ecaf2/dblp},\n ee = {https://doi.org/10.48550/arXiv.2310.02466},\n interhash = {73ed3c8388740fd03e07d374e34c13f5},\n intrahash = {336a92c82a3ae40603d2c9de586ecaf2},\n journal = {CoRR},\n keywords = {dblp},\n timestamp = {2024-04-08T23:35:47.000+0200},\n title = {Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems.},\n url = {http://dblp.uni-trier.de/db/journals/corr/corr2310.html#abs-2310-02466},\n volume = {abs/2310.02466},\n year = 2023\n}\n\n","author_short":["Aminof, B.","Rubin, S.","Spegni, F.","Zuleger, F."],"key":"journals/corr/abs-2310-02466","id":"journals/corr/abs-2310-02466","bibbaseid":"aminof-rubin-spegni-zuleger-parameterizedmodelcheckingofdiscretetimednetworksandsymmetricbroadcastsystems-2023","role":"author","urls":{"Link":"https://doi.org/10.48550/arXiv.2310.02466","Paper":"http://dblp.uni-trier.de/db/journals/corr/corr2310.html#abs-2310-02466"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Rubin?items=1000","dataSources":["74JLffDBQLjrojguT"],"keywords":["dblp"],"search_terms":["parameterized","model","checking","discrete","timed","networks","symmetric","broadcast","systems","aminof","rubin","spegni","zuleger"],"title":"Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems.","year":2023}