=Paper=
{{Paper
|id=Vol-3392/paper6
|storemode=property
|title=Case Driven TLC Model Checker Analysis in Energy Scenario
|pdfUrl=https://ceur-ws.org/Vol-3392/paper6.pdf
|volume=Vol-3392
|authors=Vadym Shkarupylo,Ihor Blinov,Valentyna Dusheba,Jamil Abedalrahim Jamil Alsayaydeh
|dblpUrl=https://dblp.org/rec/conf/cmis/ShkarupyloBDA23
}}
==Case Driven TLC Model Checker Analysis in Energy Scenario==
<pdf width="1500px">https://ceur-ws.org/Vol-3392/paper6.pdf</pdf>
<pre>
None
</pre>