A logical viewpoint on architectures

FS de Boer, MM Bonsangue, J Jacob, A Stam, LWN van der Torre

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific

Name
Publisher	IEEE

Keywords

@inproceedings{dad2790a599641d6ba5d54ef43754e3d,

title = "A logical viewpoint on architectures",

keywords = "Conf.proc. > 3 pag",

author = "{de Boer}, FS and MM Bonsangue and J Jacob and A Stam and {van der Torre}, LWN",

year = "2004",

language = "Undefined/Unknown",

isbn = "0-7695-2214-9",

publisher = "IEEE",

pages = "1--11",

booktitle = "Proceedings of EDOC'04",

address = "United States",

}