Add to ORKGThis is a Maude implementation of concolic execution for a guarded commands language
la codificazione dell'ordinamento militare:linee guida, principi ispiratori e tecnica normativ
Il contributo esamina accuratamente la disciplina cui deve essere assoggettato il sequestro conserva...
Lo scirtta illustra le modifiche al codice civile ed al codice di procedura civile apportate con l. ...
This paper presents a method for testing whether objects in actor languages and active object langua...
We describe a distributed partial order reduction algorithm for security protocols. Some experimenta...
We describe a distributed partial order reduction algorithm for security protocols. Some experimenta...
Abstract. In this paper we explore partial order reduction that make the task of verifying cryptogra...
Abstract—Two extensions of the partial order reduction algo-rithm of Clarke, Jha and Marrero are pre...
Codice di procedura civile commentato con le principali leggi speciali sul processo civil
International audienceWe define a condition on the resolution of bispecials in a language. A languag...
Composizione profumata e sistema per il rilascio controllato di un essenza e⁄o profum
So-called "guarded commands" are introduced as a building block for alternative and repetitive const...
Limiti di applicazione della tassazione dei proventi da reato in relazione ai casi di sequestro prev...
We propose a partial order reduction for model checking security protocols for the secrecy property....
Riflessioni sui contenuti della Delibera Cipe di attuazione del Protocollo di Kyoto
la codificazione dell'ordinamento militare:linee guida, principi ispiratori e tecnica normativ
Il contributo esamina accuratamente la disciplina cui deve essere assoggettato il sequestro conserva...
Lo scirtta illustra le modifiche al codice civile ed al codice di procedura civile apportate con l. ...
This paper presents a method for testing whether objects in actor languages and active object langua...
We describe a distributed partial order reduction algorithm for security protocols. Some experimenta...
We describe a distributed partial order reduction algorithm for security protocols. Some experimenta...
Abstract. In this paper we explore partial order reduction that make the task of verifying cryptogra...
Abstract—Two extensions of the partial order reduction algo-rithm of Clarke, Jha and Marrero are pre...
Codice di procedura civile commentato con le principali leggi speciali sul processo civil
International audienceWe define a condition on the resolution of bispecials in a language. A languag...
Composizione profumata e sistema per il rilascio controllato di un essenza e⁄o profum
So-called "guarded commands" are introduced as a building block for alternative and repetitive const...
Limiti di applicazione della tassazione dei proventi da reato in relazione ai casi di sequestro prev...
We propose a partial order reduction for model checking security protocols for the secrecy property....
Riflessioni sui contenuti della Delibera Cipe di attuazione del Protocollo di Kyoto
la codificazione dell'ordinamento militare:linee guida, principi ispiratori e tecnica normativ
Il contributo esamina accuratamente la disciplina cui deve essere assoggettato il sequestro conserva...
Lo scirtta illustra le modifiche al codice civile ed al codice di procedura civile apportate con l. ...