Lecture Notes in Computer Science - Logic, Rewriting, and Concurrency
Latest Publications

TOTAL DOCUMENTS

29
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer International Publishing

9783319231648, 9783319231655
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Satisfiability of Constraint Specifications on XML Documents

2015 ◽  
pp. 539-561
Author(s):  
Marisa Navarro ◽  
Fernando Orejas ◽  
Elvira Pino
Keyword(s):  
Xml Documents

Modularity of Ontologies in an Arbitrary Institution

2015 ◽  
pp. 361-379 ◽  
Author(s):  
Yazmin Angelica Ibañez ◽  
Till Mossakowski ◽  
Donald Sannella ◽  
Andrzej Tarlecki

Model-Checking Helena Ensembles with Spin

2015 ◽  
pp. 331-360 ◽  
Author(s):  
Rolf Hennicker ◽  
Annabelle Klarl ◽  
Martin Wirsing
Keyword(s):  
Model Checking

scholarly journals ICEMAN: A Practical Architecture for Situational Awareness at the Network Edge

2015 ◽  
pp. 617-631 ◽  
Author(s):  
Samuel Wood ◽  
James Mathewson ◽  
Joshua Joy ◽  
Mark-Oliver Stehr ◽  
Minyoung Kim ◽  
...  
Keyword(s):  
Situational Awareness

scholarly journals Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis

2015 ◽  
pp. 72-96 ◽  
Author(s):  
María Alpuente ◽  
Demis Ballis ◽  
Francisco Frechina ◽  
Julia Sapiña
Keyword(s):  
Error Diagnosis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document