The Density of Linear-Time Properties (Q5096080)

From MaRDI portal
scientific article; zbMATH DE number 7571421
Language Label Description Also known as
English
The Density of Linear-Time Properties
scientific article; zbMATH DE number 7571421

    Statements

    title
    The Density of Linear-Time Properties (English)
    0 references
    author
    Bernd Finkbeiner
    0 references
    Hazem Torfah
    0 references
    publication date
    12 August 2022
    0 references

    Identifiers

    zbMATH DE Number
    7571421
    0 references
    OpenAlex ID
    W2758661156
    0 references
    arXiv ID
    1803.08890
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5096080&oldid=33712869"
    Powered by MediaWiki