George J. Milne

From MaRDI portal
Person:1329085

Available identifiers

zbMath Open milne.george-jMaRDI QIDQ1329085

List of research outcomes





PublicationDate of PublicationType
An automated proof technique for finite-state machine equivalence2024-04-29Paper
Modelling Dynamically Changing Hardware Structure2015-07-10Paper
https://portal.mardi4nfdi.de/entity/Q57545192007-08-22Paper
Formal Techniques for Networked and Distributed Systems - FORTE 20052006-07-07Paper
A Flexible Automata Model for Disease Simulation2005-08-17Paper
Modelling Wildfire Dynamics via Interacting Automata2005-08-17Paper
https://portal.mardi4nfdi.de/entity/Q44941202000-08-10Paper
An exercise in the automatic verification of asynchronous designs1994-09-04Paper
https://portal.mardi4nfdi.de/entity/Q40281471993-03-28Paper
https://portal.mardi4nfdi.de/entity/Q40281271993-03-28Paper
https://portal.mardi4nfdi.de/entity/Q30302551986-01-01Paper
CIRCAL and the representation of communication, concurrency, and time1985-01-01Paper
Concurrent Processes and Their Syntax1979-01-01Paper

Research outcomes over time

This page was built for person: George J. Milne

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1329085&oldid=5906626"
Powered by MediaWiki