Report on 1st AMAST international workshop on real-time systems

Research output: Contribution to journal › Article › Popular

Keywords

@article{f7cedbd070784fa68400fb63ed798d5b,

title = "Report on 1st AMAST international workshop on real-time systems",

keywords = "METIS-123742",

author = "Katoen, {Joost P.}",

note = "Bulletin of the EATCS, vol. 52 ",

year = "1994",

month = feb,

day = "1",

language = "Undefined",

pages = "384--386",

journal = "Bulletin of the EATCS",

}