Jezik:
Slovenski
English
SFX by Ex Libris Inc.
Contains information about title and source of a journal
Naslov:
Infinite state model-checking of propositional dynamic logics
Vir:
Computer Science Logic [0302-9743] GÖLLER, Stefan l. 2006, stran 349 -364
List of services to meet your request
Contains list of services for current record
Basic services
Celotno besedilo
Celotno besedilo dostopno v
SpringerLink Books - AutoHoldings
Sporočite napako
Hvala za posredovanje sporočila o napaki.
Opomba: Dostop v okviru konzorcija Springer Link zagotavlja Centralna tehniška knjižnica (CTK) UL.
Dostopnost:
Dostopno iz prostorov UL, CTK, NIB in NUK. Oddaljen dostop za študente in zaposlene UL, CTK, NIB in NUK, ki so člani knjižnic teh inštitucij.
Če se nahajate izven svoje inštitucije, po kliku na povezavo vpišite geslo za odd. dostop.
Zaloga po knjižnicah
Preverjanje zaloge po knjižnicah
COBISS+
© 2024 SFX by Ex Libris Inc. |
Politika piškotkov
CrossRef
Omogočeno