equal
deleted
inserted
replaced
313 title = {Understanding formal methods}, |
313 title = {Understanding formal methods}, |
314 publisher = {Springer}, |
314 publisher = {Springer}, |
315 year = {2003} |
315 year = {2003} |
316 } |
316 } |
317 |
317 |
318 @Book{db:dom-eng, |
318 @misc{wiki:1, |
319 author = {Bj{\o}rner, Dines}, |
|
320 title = {Domain Engineering. Technology Management, Research and Engineering}, |
|
321 publisher = {JAIST Press}, |
|
322 year = {2009}, |
|
323 month = {Feb}, |
|
324 series = {COE Research Monograph Series}, |
|
325 volume = {4}, |
|
326 address = {Nomi, Japan} |
|
327 } |
|
328 |
|
329 @misc{ wiki:1, |
|
330 author = {Wikipedia}, |
319 author = {Wikipedia}, |
331 Title = {Table of common Z-transform pairs}, |
320 Title = {Table of common Z-transform pairs}, |
332 year = {2012}, |
321 year = {2012}, |
333 url = {http://en.wikipedia.org/wiki/Z-transform#Table_of_common_Z-transform_pairs}, |
322 url = {http://en.wikipedia.org/wiki/Z-transform#Table_of_common_Z-transform_pairs}, |
334 note = {[Online; accessed 31-Oct-2012]} |
323 note = {[Online; accessed 31-Oct-2012]} |
338 author = {Krempler, Alan and Neuper, Walther}, |
327 author = {Krempler, Alan and Neuper, Walther}, |
339 title = {Formative Assessment for User Guidance in Single Stepping Systems}, |
328 title = {Formative Assessment for User Guidance in Single Stepping Systems}, |
340 booktitle = {Interactive Computer Aided Learning, Proceedings of ICL08}, |
329 booktitle = {Interactive Computer Aided Learning, Proceedings of ICL08}, |
341 year = {2008}, |
330 year = {2008}, |
342 editor = {Aucher, Michael E.}, |
331 editor = {Aucher, Michael E.}, |
343 address = {Villach, Austria} %, |
332 address = {Villach, Austria}, |
344 %note = {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/icl08.pdf} |
333 note = {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/icl08.pdf} |
345 } |
334 } |
346 |
335 |