![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Theoretical Computer Science, Volume 537
Volume 537, June 2014
- Antonio Cerone, Pekka Pihlajasaari:
Theoretical Aspects of Computing (ICTAC 2011). 1-2
- Joakim Byg, Morten Jacobsen, Lasse Jacobsen, Kenneth Yrke Jørgensen, Mikael Harkjær Møller, Jirí Srba
:
TCTL-preserving translations from timed-arc Petri nets to networks of timed automata. 3-28 - Volker Diekert, Martin Leucker
:
Topology, monitorable properties and runtime verification. 29-41 - Luca Aceto, David de Frutos-Escrig
, Carlos Gregorio-Rodríguez
, Anna Ingólfsdóttir:
Axiomatizing weak simulation semantics over BCCSP. 42-71 - Carlos Areces
, Facundo Carreiro, Santiago Figueira:
Characterization, definability and separation via saturated models. 72-86 - Liliana Cojocaru, Erkki Mäkinen
:
On some derivation mechanisms and the complexity of their Szilard languages. 87-96 - A. B. van der Merwe, Lynette van Zijl, Jaco Geldenhuys:
Ambiguity and structural ambiguity of symmetric difference NFAs. 97-104 - Paul Tarau:
Towards a generic view of primality through multiset decompositions of natural numbers. 105-124
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.