We are currently experiencing cases of mixed-up (and therefore incorrect) metadata for some newly indexed journal issues. We are aware of the problem and we are working on a fix. Thanks for understanding and we apologize for the inconvenience.
70. Birthdays:
Dines Bjørner and Chaochen Zhou 2007
share record
short URL:
https://dblp.org/rec/conf/birthday/2007bz share record
short URL:
https://dblp.org/rec/conf/birthday/Bjorner07 Nikolaj Bjørner :
Models and Software Model Checking of a Distributed File Replication System. 1-23 share record
short URL:
https://dblp.org/rec/conf/birthday/Broy07 Manfred Broy :
From "Formal Methods" to System Modeling. 24-44 export record
dblp key:
conf/birthday/Butterfield07 share record
short URL:
https://dblp.org/rec/conf/birthday/Butterfield07 share record
short URL:
https://dblp.org/rec/conf/birthday/ChenXYZ07 share record
short URL:
https://dblp.org/rec/conf/birthday/ChenLLSY07 export record
dblp key:
conf/birthday/DammMOOPPSW07 share record
short URL:
https://dblp.org/rec/conf/birthday/DammMOOPPSW07 share record
short URL:
https://dblp.org/rec/conf/birthday/Hung07 Dang Van Hung :
Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus. 170-187 share record
short URL:
https://dblp.org/rec/conf/birthday/Eir07 Asger Eir :
Relating Domain Concepts Intensionally by Ordering Connections. 188-216 share record
short URL:
https://dblp.org/rec/conf/birthday/EstevezJ07 export record
dblp key:
conf/birthday/FitzgeraldL07 share record
short URL:
https://dblp.org/rec/conf/birthday/FitzgeraldL07 share record
short URL:
https://dblp.org/rec/conf/birthday/FreitasW07 export record
dblp key:
conf/birthday/GeorgeKSS07 share record
short URL:
https://dblp.org/rec/conf/birthday/GeorgeKSS07 share record
short URL:
https://dblp.org/rec/conf/birthday/HansenMB07 export record
dblp key:
conf/birthday/HaxthausenP07 share record
short URL:
https://dblp.org/rec/conf/birthday/HaxthausenP07 share record
short URL:
https://dblp.org/rec/conf/birthday/He07 share record
short URL:
https://dblp.org/rec/conf/birthday/JonesHJ07 share record
short URL:
https://dblp.org/rec/conf/birthday/Joseph07 Mathai Joseph :
Engineering the Development of Embedded Systems. 391-398 export record
dblp key:
conf/birthday/KnudsenRS07 share record
short URL:
https://dblp.org/rec/conf/birthday/KnudsenRS07 export record
dblp key:
conf/birthday/Langmaack07 share record
short URL:
https://dblp.org/rec/conf/birthday/Langmaack07 Hans Langmaack :
On Revival of Algol-Concepts in Modern Programming and Specification Languages. 414-434 share record
short URL:
https://dblp.org/rec/conf/birthday/LingMA07 share record
short URL:
https://dblp.org/rec/conf/birthday/Liu0L07 share record
short URL:
https://dblp.org/rec/conf/birthday/Liu07 Xinxin Liu :
Expansive-Bisimulation for Context-Free Processes. 472-482 share record
short URL:
https://dblp.org/rec/conf/birthday/Mosses07 Peter D. Mosses :
VDM Semantics of Programming Languages: Combinators and Monads. 483-503 share record
short URL:
https://dblp.org/rec/conf/birthday/Penicka07 export record
dblp key:
conf/birthday/ReisigBFLMS07 share record
short URL:
https://dblp.org/rec/conf/birthday/ReisigBFLMS07
maintained by
at