Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Journal
    Name: Theor. Comput. Sci.
    Year: 2014
    Volume: 515
    DBLP: db/journals/tcs/tcs515.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 5 of 5  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Ilya Tkachev, Alessandro Abate.
    Characterization and computation of infinite-horizon specifications over Markov processes.
    Theor. Comput. Sci. 2014, Volume 515 (0) 2014
    Journal article
    Marco Faella, Salvatore La Torre, Aniello Murano.
    Automata-theoretic decision of timed games.
    Theor. Comput. Sci. 2014, Volume 515 (0) 2014
    Journal article
    Kim G. Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski.
    Robust synthesis for real-time systems.
    Theor. Comput. Sci. 2014, Volume 515 (0) 2014
    Journal article
    Mike Burrell, Robin Cockett, Brian F. Redmond.
    Safe recursion revisited I: Categorical semantics for lower complexity.
    Theor. Comput. Sci. 2014, Volume 515 (0) 2014
    Journal article
    Shuai Ma, Wenfei Fan, Loreto Bravo.
    Extending inclusion dependencies with conditions.
    Theor. Comput. Sci. 2014, Volume 515 (0) 2014
    Show item 1 to 5 of 5  

    Your query returned 5 matches in the database.