Show simple item record

dc.contributor.authorMiller, T
dc.contributor.authorFreitas, L
dc.contributor.authorMalik, P
dc.contributor.authorUtting, M
dc.date.available2014-05-21T23:02:11Z
dc.date.issued2005-01-01
dc.identifier.citationMiller, T., Freitas, L., Malik, P. & Utting, M. (2005). CZT support for Z extensions. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3771 LNCS, pp.227-245. Springer Berlin Heidelberg. https://doi.org/10.1007/11589976_14.
dc.identifier.isbn3540304924
dc.identifier.isbn9783540304920
dc.identifier.issn0302-9743
dc.identifier.urihttp://hdl.handle.net/11343/29404
dc.publisherSpringer Berlin Heidelberg
dc.source5th International Conference on Integrated Formal Methods
dc.subjectComputer Software
dc.titleCZT support for Z extensions
dc.typeConference Paper
dc.identifier.doi10.1007/11589976_14
melbourne.peerreviewPeer Reviewed
melbourne.affiliationThe University of Melbourne
melbourne.affiliation.departmentComputer Science and Software Engineering
melbourne.source.titleLecture Notes in Artificial Intelligence
melbourne.source.volume3771 LNCS
melbourne.source.pages227-245
dc.description.pagestart227
melbourne.publicationid122901
melbourne.elementsid309555
melbourne.contributor.authorMiller, Timothy
dc.identifier.eissn1611-3349
melbourne.accessrightsThis item is currently not available from this repository


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record