CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Special Issue on Methodologies, Technologies and Tools Enabling e-Government
Re Barbara
,
Marino Miculan
2016-01-01
Cite
URL
Publication
INTERNATIONAL JOURNAL OF ELECTRONIC GOVERNANCE
Related
MeTTeG14, Proceedings of the 8th International Conference on Methodologies, Technologies and Tools Enabling e-Government
A simple criterion for M,N-adhesivity
DBCChecker: A Bigraph-Based Tool for Checking Security Properties of Container Compositions
Automated verification of Telegram’s MTProto 2.0 in the symbolic model
Modeling Carne PRI supply chain with the *-Chain Platform
Cite
×