Back to Search Start Over

Some Tools

Authors :
Manuel Clavel
Francisco Durán
Steven Eker
Patrick Lincoln
Narciso Martí-Oliet
José Meseguer
Carolyn Talcott
Christiano Braga
Azadeh Farzan
Joe Hendrix
Peter Ölveczky
Miguel Palomino
Ralf Sasse
Mark-Oliver Stehr
Alberto Verdejo
Source :
Lecture Notes in Computer Science ISBN: 9783540719403
Publication Year :
2007
Publisher :
Springer Berlin Heidelberg, 2007.

Details

ISBN :
978-3-540-71940-3
ISBNs :
9783540719403
Database :
OpenAIRE
Journal :
Lecture Notes in Computer Science ISBN: 9783540719403
Accession number :
edsair.doi...........5210fd9e5cb5dc2d062d61339885d0fa
Full Text :
https://doi.org/10.1007/978-3-540-71999-1_21
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details