|
|
SFX by Ex Libris Inc.
|
List of services to meet your request
|
|||||||||||
|
|||||||||||
© 2024 SFX by Ex Libris Inc. | Cookie Policy
CrossRef Omogočeno
![](https://beacon01.alma.exlibrisgroup.com/boom/apache_pb.gif?SRVR=adz.izum.si&IP=193.2.126.232&A=SFX&P=SFXMenu&S=s7139E3D8-370C-11EF-8FB8-D88985CE164B&I=39IZM&T=&OP=Display&O=html&O1=12650026&O2=26145250900041&O3=&O4=summon.serialssolutions.com&O5=https%3A%2F%2Fadz.izum.si%2Fsfxlcl41%3Fctx_enc%3Dinfo%253Aofi%252Fenc%253AUTF-8%26ctx_ver%3DZ39.88-2004%26rfr_id%3Dinfo%253Asid%252Fsummon.serialssolutions.com%26rft.atitle%3DTuning%2520SAT%2520solvers%2520for%2520LTL%2520Model%2520Checking%26rft.au%3DBaarir%252C%2520Souheib%26rft.au%3DKheireddine%252C%2520Anissa%26rft.au%3DRenault%252C%2520Etienne%26rft.date%3D2022-12-01%26rft.eissn%3D2640-0715%26rft.epage%3D268%26rft.externalDocID%3D10043345%26rft.genre%3Dproceeding%26rft.pub%3DIEEE%26rft.spage%3D259%26rft.title%3D2022%252029th%2520Asia-Pacific%2520Software%2520Engineering%2520Conference%2520%2528APSEC%2529%26rft_id%3Dinfo%253Adoi%252F10.1109%252FAPSEC57359.2022.00038%26rft_val_fmt%3Dinfo%253Aofi%252Ffmt%253Akev%253Amtx%253Ajournal&O6=1-UNPAYWALL-getFullTxt-object,2-COBIB_SI_LCL-getHolding-object,3-DOI-getDOI-object,4-AMAZON_FREE-getBookReview-object,5-REFWORKS_EXPORT_TOOL-getReference-object,6-GOOGLE_BOOK_SEARCH-getWebSearch-object,7-GOOGLE_SCHOLAR_FREE-getWebSearch-object,8-WWW_SEARCH_ENGINES_FREE-getWebSearch-object&O7=1.037314&O8=N&O9=<ctx:context-object identifier="urn:sfxstat:12650026-s7139E3D8-370C-11EF-8FB8-D88985CE164B" timestamp="2024-06-30T20:13:25Z" xmlns:ctx="info:ofi/fmt:xml:xsd:ctx">
<ctx:referent>
<ctx:identifier>urn:sfxid:26145250900041</ctx:identifier>
<ctx:metadata-by-val>
<ctx:format>info:ofi/fmt:xml:xsd:journal</ctx:format>
<ctx:metadata>
<jnl:journal xmlns:jnl="info:ofi/fmt:xml:xsd:journal">
<jnl:atitle>Tuning SAT solvers for LTL Model Checking</jnl:atitle>
<jnl:jtitle>2022 29th Asia-Pacific Software Engineering Conference (APSEC)</jnl:jtitle>
<jnl:date>2022-12-00</jnl:date>
<jnl:spage>259</jnl:spage>
<jnl:epage>268</jnl:epage>
<jnl:genre>proceeding</jnl:genre>
<jnl:eissn>2640-0715</jnl:eissn>
<jnl:language>eng</jnl:language>
<jnl:authors></jnl:authors>
</jnl:journal>
</ctx:metadata>
</ctx:metadata-by-val>
</ctx:referent>
<ctx:requester>
<ctx:identifier>urn:ip:4987a4c8aa8094d6f730a655d9f583f3dd4de4d7</ctx:identifier>
<ctx:identifier>urn:UUID:s7139E3D8-370C-11EF-8FB8-D88985CE164B</ctx:identifier>
</ctx:requester>
<ctx:referrer>
<ctx:identifier>info:sid/summon.serialssolutions.com</ctx:identifier>
</ctx:referrer>
<ctx:service-type>
<ctx:metadata-by-val>
<ctx:format>info:ofi/fmt:xml:xsd:svcList</ctx:format>
<ctx:metadata>
<svc:svcList xmlns:svc="http://www.exlibrisgroup.com/schema/info:ofi/fmt:xml:xsd:sch_svc"></svc:svcList>
</ctx:metadata>
</ctx:metadata-by-val>
</ctx:service-type>
<ctx:resolver>
<ctx:identifier>https://adz.izum.si/sfxlcl41</ctx:identifier>
</ctx:resolver>
</ctx:context-object>
&)