Information for "Publication:2845488"

Basic information

Display title	Parallel model checking for \texttt{LTL}, \texttt{CTL}\(^*\), and \(L^2_{\mu}\)
Default sort key	2845488
Page length (in bytes)	15
Namespace ID	4206
Namespace	Publication
Page ID	10363022
Page content language	en - English
Page content model	wikitext
Indexing by robots	Allowed
Number of redirects to this page	0
Counted as a content page	Yes
MaRDI portal item ID	Q2845488
Central description	scientific article; zbMATH DE number 6203468

Edit	Allow only users with "overwriteprofilepages" permission (infinite)
Move	Allow only users with "overwriteprofilepages" permission (infinite)

Page creator	Import240129110113 (talk \| contribs)
Date of page creation	19:21, 3 February 2024
Latest editor	Import240129110113 (talk \| contribs)
Date of latest edit	19:21, 3 February 2024
Total number of edits	1
Recent number of edits (within past 90 days)	0
Recent number of distinct authors	0

Transcluded templates (15)	Pages included on this page: Template:Badge (view source) Template:DeepChat (view source) Template:Publication (view source) Template:ReportABug (view source) Module:BacklinksList (view source) Module:HelperMethods (view source) Module:PublicationAuthorList (view source) Module:PublicationCitesWork (view source) Module:PublicationContainsTheoremList (view source) Module:PublicationMSCList (view source) Module:PublicationRecommendedItems (view source) Module:PublicationShowAbstract (view source) Module:PublicationUsesSoftwareList (view source) Module:Wd (view source) Module:Wd/i18n (view source)
MaRDI portal entities used in this page	full work available at URL Miscellaneous (e.g. entity existence) Label: en Mathematics Subject Classification ID Miscellaneous (e.g. entity existence) Label: en publication date Miscellaneous (e.g. entity existence) Label: en Parallel model checking for \texttt{LTL}, \texttt{CTL}\(^*\), and \(L^2_{\mu}\) Title Miscellaneous (e.g. entity existence) Label: en Sitelink Some statements